Check nearby libraries
Buy this book
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?History
- Created April 1, 2008
- 8 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 20, 2024 | Edited by MARC Bot | import existing book |
December 11, 2023 | Edited by MARC Bot | import existing book |
November 5, 2020 | Edited by MARC Bot | import existing book |
July 5, 2019 | Edited by MARC Bot | import existing book |
April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |