Prototyping
Todd Zaki Warfel
₹5,476
Modeling in Event-B
System and Software Engineering
Cambridge University Press · 2010
₹4,277
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
Modeling in Event-B: System and Software Engineering by Jean-Raymond Abrial is a 612-page book published by Cambridge University Press in 2010.
Its main subjects are B method (Computer science), Verification, Computer systems and Mathematical models.
Book details
- ISBN-13
- 9780521895569
- ISBN-10
- 0521895561
- Author
- Jean-Raymond Abrial
- Publisher
- Cambridge University Press
- Published
- 2010
- Pages
- 612
- Language
- English
- Condition
- New
- Subject
- System design
More in System design
Challenges for Action Theories
Michael Thielscher
₹5,451
Hardware/Software Co-design and Co-verification
Oz Levia, Jean-Michel Berge, Jacques Rouillard
₹15,395
Unified Computational Intelligence for Complex Systems
John Seiffertt, Donald C. Wunsch
₹4,302
Case Studies in Object-Oriented Analysis and Design
Edward Yourdon, Yourdon Press, Carl A. Argila
₹6,502
Fuzzy Logic in Intelligent System Design
Patricia Melin, Oscar Castillo, Janusz Kacprzyk, Marek Reformat, William Melek
₹12,039
Formal Methods in Databases and Software Engineering
Workshop on Formal Methods in Databases and Software Engineering (1992 Montréal, Canada).
₹4,201
Mcss;Standing Order Sbn
D. J. Tudor
₹3,972
Minimalism
Hartmut Obendorf
₹4,955
Software Engineering and Formal Methods
Steve Counsell, Manuel Núñez
₹4,284
Fme 2002
Lars-Henrik Eriksson, Peter A. Lindsay
₹5,363
Software Engineering and Formal Methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider
₹5,652