| Type |  Book |
| ชื่อเรื่อง | Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg |
| ผู้แต่ง | Nato advanced study institute on logic and algebra of specification (1991 : Marktoberdorf, Germany) |
| ISBN | 0387558136 (U.S. : alk. paper) |
| | 3540558136 |
| | 9780387558134 (U.S. : alk. paper) |
| | 9783540558132 |
| พิมพลักษณ์ | Berlin ; New York : Springer-Verlag, c1993 |
| รูปเล่ม | 442 pages ; 25 cm |
| หัวเรื่อง | Computer science --Mathematics [] |
| | Logic, Symbolic and mathematical |