Rewriting Logic and Its Applications
Peter Csaba Ölveczky
₹5,520
B'98
Recent Advances in the Development and Use of the B Method
by Bert Didier
Springer · 1998 · Paperback
₹5,524
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 1998, B'98: Recent Advances in the Development and Use of the B Method by Bert Didier runs to 313 pages in paperback.
The book deals with Software engineering, Debugging in computer science, Computer Programs Debugging and Software Development.
Book details
- ISBN-13
- 9783540644057
- ISBN-10
- 3540644059
- Author
- Bert Didier
- Publisher
- Springer
- Published
- 1998
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 313
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Proof Theory in Computer Science
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
₹5,499
Reliable Software Technologies – Ada-Europe 2014
Laurent George, Tullio Vardanega
₹4,077
Extreme Programming and Agile Methods - Xp/Agile Universe 2003
Frank Maurer, Don Wells
₹5,487
Logic Programming and Databases
Georg Gottlob, Letizia Tanca, Stefano Ceri
₹5,833
Digital Design
John Wakerly
₹4,742
Foundations of Software Science and Computation Structures
Frank Pfenning
₹4,249
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,247
Functional and Constraint Logic Programming
Julio Marino
₹5,483
Hybrid Systems
Rajeev Alur
₹8,177
Frontiers of Combining Systems
Cesare Tinelli, Viorica Sofronie-Stokkermans
₹5,718
Computer Engineering and Technology
Weixia Xu
₹4,251