Refine Your Search
Book List
2
-
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
- 004.0151 N1111
- NATO Advanced Study Institute on Logic and Algebra of Specification (1991 : Marktoberdorf, Germany)
- Springer-Verlag,
- c1993.
- Berlin ; New York :
-
Logic, algebra, and computation : international summer school directed by F.L. Bauer ... [et al.] / edited by Friedrich L. Bauer.
- 005.1 L8322
- Springer-Verlag,
- c1991.
- Berlin ; New York :