Abstract State Machines, Alloy, B, VDM, and Z
John Derrick, John Fitzgerald, Stefania Gnesi
₹5,584
Integrated Formal Methods
9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings
by John Derrick, Stefania Gnesi, Diego Latella
₹5,630
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783642307287
- ISBN-10
- 3642307280
- Authors
- John Derrick, Stefania Gnesi, Diego Latella
- Publisher
- Springer
- Condition
- New
More by John Derrick and related titles
Phylogenetische Systematik
Bernhard Wiesemüller, Hartmut Rothe, Winfried Henke
₹3,143
Die Frühentwicklung Des Schultergürtels Und Des Brustbeins Bei Den Monotremen (Mammalia
M. Klima
₹3,508
Practical Longitudinal Data Analysis
Hand David J., Martin J. Crowder, Hand J. Hand
₹5,216
Advances in Bioinformatics and Computational Biology
Carlos E. Ferreira, Satoru Miyano, Peter F. Stadler
₹5,424
Geometria del Calcolo Delle Variazioni
E. Bompiani
₹3,006
Linux Vom PC Zur Workstation
J. Gulbins, Stefan Strobel, Thomas Uhl
₹3,508
Die Absatzverhältnisse Der Königlichen Saarbrücker Steinkohlengruben in Den Letzten 20 Jahren (1884-1903)
R. Zörner
₹5,396
Multidisciplinary Information Retrieval
Allan Hanbury, Andreas Rauber, Arjen De Vries
₹5,483
Arbeitsphysiologie II Orientierung - Plastizität Stimme Und Sprache
Na Bethe, Na Buddenbrock, Na Fischer
₹3,508
Computer-Numerik 1
Christoph Überhuber
₹3,143
Die Maschinenarbeit in Deutschen Bankbetrieben
J. Meuthen, W. Prion
₹3,508