Formal Methods at the Crossroads
Bernhard K. Aichernig
₹4,256
Formal Methods for Components and Objects
9th International Symposium
by Bernhard K. Aichernig, Frank S. De Boer, Marcello M. Bonsangue
Springer · 2012
₹5,595
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: 9th International Symposium is written by Bernhard K. Aichernig, Frank S. De Boer & others. This edition from Springer (2012).
The book deals with Software engineering, Programming Techniques, Logic design and Logics and Meanings of Programs.
Book details
- ISBN-13
- 9783642252709
- ISBN-10
- 3642252702
- Authors
- Bernhard K. Aichernig, Frank S. De Boer, Marcello M. Bonsangue
- Publisher
- Springer
- Published
- 2012
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Bernhard K. Aichernig and related titles
Frontiers of Combining Systems
Cesare Tinelli, Viorica Sofronie-Stokkermans
₹5,718
Foundations of Software Technology and Theoretical Computer Science
P. S. Thiagarajan
₹5,608
Principles and Practice of Constraint Programming - CP 2010
David Cohen
₹4,299
Algebraic Methodology and Software Technology
Meseguer J.
₹2,810
Models in Software Engineering
Sudipto Ghosh
₹5,573
Algebraic Methodology and Software Technology
Armando M. Haeberer
₹5,649
Implementation and Application of Functional Languages
Hutchison, David - undifferentiated
₹4,082
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,249
Horizons of the Mind. A Tribute to Prakash Panangaden
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten
₹4,241
Stacs 86
B. Monien, G. Vidal-Naquet
₹3,966
Transactions on Computational Science
Marina L. Gavrilova, C. J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan
₹4,222