Verified Software
Dimitra Giannakopoulou, Daniel Kroening
₹3,762
Fm 2012
18th International Symposium
by Dimitra Giannakopoulou, Dominique Mery
Springer · 2012
₹5,690
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
Published by Springer in 2012, Fm 2012: 18th International Symposium by Dimitra Giannakopoulou & Dominique Mery is available as a new copy.
Its main subjects are Mathematical Logic and Formal Languages, Information Systems, Software engineering and Logic design.
Book details
- ISBN-13
- 9783642327582
- ISBN-10
- 3642327583
- Authors
- Dimitra Giannakopoulou, Dominique Mery
- Publisher
- Springer
- Published
- 2012
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Dimitra Giannakopoulou and related titles
Fundamental Approaches to Software Engineering
Dimitra Giannakopoulou, Fernando Orejas
₹5,627
Descriptional Complexity of Formal Systems
Markus Holzer, Martin Kutrib, Giovanni Pighizzini
₹5,822
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference
Hartmut Ehrig, Christiane Floyd, Maurice Nivat
₹4,524
Logic-Based Program Synthesis and Transformation
Pierre Flener
₹5,546
Quality of Software Architectures Models and Architectures
Hutchison, David - undifferentiated
₹4,263
Runtime Verification
Koushik Sen, Sarfaz Khurshid
₹5,672
Petrinetze
Wolfgang Reisig
₹3,508
Model-Based Safety and Assessment
Frank Ortmeier, Antoine Rauzy
₹3,438
Types in Compilation
Robert Harper
₹5,562
Foundations of Software Science and Computational Structures
Martin Hofmann
₹5,697
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,242