Formal Methods for Components and Objects
Bernhard K. Aichernig, Frank S. De Boer, Marcello M. Bonsangue
₹5,595
Formal Methods at the Crossroads
From Panacea to Foundational Support
Springer-Verlag New York Inc · 2003 · Paperback
₹4,256
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 at the Crossroads: From Panacea to Foundational Support by Bernhard K. Aichernig is a 455-page paperback edition published by Springer-Verlag New York Inc in 2003.
Topics covered include Congresses, Software engineering, Computers and Logic Design.
Book details
- ISBN-13
- 9783540205272
- ISBN-10
- 3540205276
- Author
- Bernhard K. Aichernig
- Publisher
- Springer-Verlag New York Inc
- Published
- 2003
- Edition
- Revised
- Binding
- Paperback
- Pages
- 455
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Bernhard K. Aichernig and related titles
Algebraic Methodology and Software Technology
Charles Rattray, Savitri Maharaj
₹5,866
Logic Circuit Design
Shimon P. Vingron
₹11,253
Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi
₹5,521
Logic-Based Program Synthesis and Transformation
Danny De Schreye
₹5,492
Field-Programmable Logic, Smart Applications, New Paradigms and Compilers
Reiner W. Hartenstein, Manfred Glesner
₹5,596
Hybrid Metaheuristics
Maria José Blesa, Christian Blum, Günther Raidl
₹5,498
International Symposium on Programming
Ugo Montanari Mariangiola Dezani-Ciancaglini
₹2,793
Analogical and Inductive Inference
Klaus P. Jantke
₹5,549
Model Checking Software
Jaco Van Der Pol, Michael Weber
₹5,542
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
Automated Deduction - Cade-15
Claude Kirchner, Helene Kirchner
₹5,605