Akademie-Verlag · 1986
Mathematical Methods of Specification and Synthesis of Software Systems '85
Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985
verified
- Authors
- Wolfgang Bibel, K. P. Jantke
- Edited by
- Klaus P. Jantke
- Imprint
- Berlin: Akademie-Verlag, 1986
- Series
- Mathematical Research -- Bd. 31
- Language
- English
- Pages
- 245
- ISBN
- 3055000188
- Sources
- Open Library edition OL61672616M; WorldCat record (OCLC 15876823); K10plus record 161019897; German National Library record 861178238; National Library of Poland record 991051614759705066; WorldCat record (OCLC 750888300); HathiTrust record 000401340
Cite this
Chicago
Bibel, Wolfgang and K. P. Jantke. Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985. Edited by Klaus P. Jantke. Berlin: Akademie-Verlag, 1986.
MLA
Bibel, Wolfgang, and K. P. Jantke. Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985. Akademie-Verlag, 1986.
APA
Bibel, W. & Jantke, K. P. (1986). Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985. Akademie-Verlag.