An edition of Mathematical methods of specification and synthesis of software systems '85
(1986)
Mathematical methods of specification and synthesis of software systems '85
proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
by W. Bibel
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Development, Congresses, Computer software, Conception logiciel, Informatique théorique, Inférence inductive, Théorie mathématique logiciel, Softwareentwicklung, Logiciels, Développement, Développement logiciel, Type abstrait, Génie logiciel, Computer programs, Computer programming, Symbolic and mathematical Logic, Universal AlgebraShowing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Mathematical methods of specification and synthesis of software systems '85: proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
1986, Springer
in English
0387164448 9780387164441
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographies.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| July 20, 2024 | Edited by MARC Bot | import existing book |
| July 5, 2019 | Edited by MARC Bot | import existing book |
| December 28, 2011 | Created by LC Bot | import new book |