Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
₹5,700
Formal Methods for Components and Objects
8th International Symposium
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2011
₹6,195
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 Methods for Components and Objects: 8th International Symposium by Frank S. de Boer is a 339-page book published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2011.
Its main subjects are Logic design, Computer science, Software engineering and Operating systems (Computers).
Book details
- ISBN-13
- 9783642170706
- ISBN-10
- 3642170706
- Author
- Frank S. de Boer
- Published
- 2011
- Edition
- 1
- Pages
- 339
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Frank S. de Boer and related titles
Formal Methods for Components and Objects
Frank S. de Boer
₹4,244
Evaluation of Novel Approaches to Software Engineering
Leszek Maciaszek, César González-Pérez, Stefan Jablonski
₹5,551
Abstraction, Reformulation, and Approximation
SARA 2007 (2007 Whistler, B.C.)
₹4,222
International Symposium on Programming
Ugo Montanari Mariangiola Dezani-Ciancaglini
₹2,793
Hybrid Systems
Rajeev Alur
₹8,177
Perspectives of Systems Informatics
Amir Pnueli
₹4,264
Software Composition
SC 2008 (2008 Budapest, Hungary)
₹4,255
Logic Programming and Databases
Georg Gottlob, Letizia Tanca, Stefano Ceri
₹5,833
Generative and Transformational Techniques in Software Engineering III
João M. Fernandes
₹3,842
Logic Program Synthesis and Transformation
Maurizio Proietti
₹5,514
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,640