Mathematics of Program Construction
Bernhard Möller
₹5,618
Formal Program Development
Ifip Tc2/Wg 2.1 State-Of-The-Art Report
by Bernhard Möller, Helmut Partsch, Steve Schuman
Springer · 1993 · Paperback
₹5,569
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report by Bernhard Möller, Helmut Partsch & others is a 371-page paperback edition published by Springer in 1993.
The book deals with Computer Programming, General Theory of Computing, Computer Science and Logic Design.
Book details
- ISBN-13
- 9783540574996
- ISBN-10
- 3540574999
- Authors
- Bernhard Möller, Helmut Partsch, Steve Schuman
- Publisher
- Springer
- Published
- 1993
- Binding
- Paperback
- Pages
- 371
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Bernhard Möller and related titles
Evaluation of Novel Approaches to Software Engineering
Leszek Maciaszek, César González-Pérez, Stefan Jablonski
₹5,551
Theory and Practice of Model Transformations
Laurence Tratt, Martin Gogolla
₹5,602
NASA Formal Methods
Julia M. Badger, Kristin Yvonne Rozier
₹5,136
Automated Technology for Verification and Analysis
Farn Wang
₹4,536
Types in Compilation
Robert Harper
₹5,562
Perspectives of Systems Informatics
Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
₹5,602
Hybrid Systems
Nancy Lynch, Bruce Krogh
₹5,783
Tapsoft '89
Josep Diaz, Fernando Orejas
₹5,576
Formal Methods for Components and Objects
Bernhard K. Aichernig, Frank S. De Boer, Marcello M. Bonsangue
₹5,595
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
Soren Prehn, Hans Toetenel
₹5,383
Nasa Formal Methods
Guillaume Brat
₹4,270