Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere
₹5,722
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference
by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
Springer International Publishing AG · 2018 · Paperback
₹4,237
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹3,856 for this book (save ₹381).
9% off every book, up to ₹500 off per order.
About this book
Topics covered include Programming languages (electronic computers).
Book details
- ISBN-13
- 9783319912707
- ISBN-10
- 3319912704
- Authors
- Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
- Publisher
- Springer International Publishing AG
- Published
- 2018
- Edition
- 1st ed. 2018
- Binding
- Paperback
- Pages
- 432
- Language
- English
- Condition
- New
- Subject
- Programming languages
More by Michael Butler and related titles
The Business of Hacking
Michael Butler, Jacob G. Oakley
₹2,073
Formal Methods and Software Engineering
Michael Butler, Sylvain Conchon, Fatiha Zaïdi
₹4,255
Fm 2011
Michael Butler, Wolfram Schulte
₹5,627
Rigorous Development of Complex Fault-Tolerant Systems
Michael Butler, Cliff Jones, Alexander Romanovsky
₹5,583
Formal Methods and Software Engineering
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
₹5,586
Abstract State Machines, B and Z
Michael Butler
₹4,240
Scratch Programming for Teens
Jerry Lee Ford
₹3,296
Object Oriented Perl
Damian Conway, Randal L. Schwartz
₹4,438
Programming Languages and Systems
Atsushi Ohori
₹5,749
PHP Objects, Patterns, and Practice
Matt Zandstra
₹4,009
Practical Common Lisp
Peter Seibel
₹6,256