Verified Software
Dimitra Giannakopoulou, Daniel Kroening
₹3,762
Fundamental Approaches to Software Engineering
14th International Conference
by Dimitra Giannakopoulou, Fernando Orejas
Springer · 2011
₹5,627
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
Fundamental Approaches to Software Engineering: 14th International Conference is written by Dimitra Giannakopoulou & Fernando Orejas. This edition from Springer (2011).
Topics covered include Logic design, Computer networks, Information Systems and Computer science.
Book details
- ISBN-13
- 9783642198106
- ISBN-10
- 3642198104
- Authors
- Dimitra Giannakopoulou, Fernando Orejas
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Dimitra Giannakopoulou and related titles
Fm 2012
Dimitra Giannakopoulou, Dominique Mery
₹5,690
Perspectives of Systems Informatics
Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
₹5,602
Computer Aided Verification
Tayssir Touili, Byron Cook, Paul Jackson
₹5,452
Automated Technology for Verification and Analysis
Zhiming Liu
₹4,269
Fundamentals of Structured Program Design
Dan Robinson
₹3,898
NASA Formal Methods
Julia M. Badger, Kristin Yvonne Rozier
₹5,136
Advances in Computing Science - Asian'99
P. S. Thiagarajan, Roland Yap
₹5,581
Logic Programming and Databases
Georg Gottlob, Letizia Tanca, Stefano Ceri
₹5,833
Synchronous Precharge Logic
Marek Smoszna
₹5,282
Functional and Logic Programming
Zhenjiang Hu
₹4,856
Model Checking Software
Klaus Havelund, Rupak Majumdar, Jens Palsberg
₹5,568