Fm 2011
Michael Butler, Wolfram Schulte
₹5,627
Abstract State Machines, B and Z
First International Conference
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2008
₹4,240
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
Abstract State Machines, B and Z: First International Conference is written by Michael Butler. This edition from Springer-Verlag Berlin and Heidelberg GmbH & Co. K (2008) has 384 pages.
Topics covered include Logic design, Computer science, Software engineering and Database management.
Book details
- ISBN-13
- 9783540876021
- ISBN-10
- 3540876022
- Author
- Michael Butler
- Published
- 2008
- Edition
- 2008 ed.
- Pages
- 384
- Language
- English
- Condition
- New
- Subject
- Textbooks & Study Guides
More by Michael Butler and related titles
Formal Methods and Software Engineering
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
₹5,586
Formal Methods and Software Engineering
Michael Butler, Sylvain Conchon, Fatiha Zaïdi
₹4,255
Rigorous Development of Complex Fault-Tolerant Systems
Michael Butler, Cliff Jones, Alexander Romanovsky
₹5,583
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
₹4,237
The Business of Hacking
Michael Butler, Jacob G. Oakley
₹2,073
Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere
₹5,722
Parfit's Ethics
Richard Yetter Chappell
₹2,210
Occupation Centred Practice with Children A Practical Guide for Occupational Therapists 2Ed
Sylvia Rodger
₹3,724
Stroke Nursing Certification Review
Kathy J. Morrison
₹7,749
Art, Politics and Rancière
Tina Chanter
₹4,166
The Way of Water and Sprouts of Virtue
Sarah Allan
₹3,806