Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
₹5,598
Software Engineering 1
Abstraction and Modelling
₹5,159
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
This well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader with a sound but simple basis for discrete mathematics before moving on to teach basic property and model-oriented specification principles and techniques. In addition, the reader will learn the essentials of functional, imperative, and parallel specification programming.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540211495
- ISBN-10
- 3540211497
- Author
- Dines Bjørner
- Publisher
- Springer
- Condition
- New
- Subject
- Programming
More by Dines Bjørner and related titles
VDM '87. VDM - A Formal Method at Work
Dines Bjørner, Cliff Jones, Michael Mac an Airchinnigh
₹5,591
Advances in Computer Science and Information Technology. Networks and Communications
Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai
₹4,766
Automata, Languages and Programming
Andrzej Lingas, Rolf Karlsson, Svante Carlsson
₹4,270
Algorithmic Decision Theory
Ronen Brafman, Fred S. Roberts, Alexis Tsoukias
₹5,551
Automata, Languages and Programming
Luca Aceto, Monika Henzinger, Jiri Sgall
₹5,210
Unifying Theories of Programming
Andrew Butterfield
₹5,525
Algorithms and Computation
Tetsuo Asano, Yoshihide Igarashi, Hiroshi Nagamochi
₹5,606
Fundamental Approaches to Software Engineering
Dimitra Giannakopoulou, Fernando Orejas
₹5,627
Current Trends in Database Technology - Edbt 2004 Workshops
Wolfgang Lindner, Marco Mesiti, Can Türker
₹4,768
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma
₹5,598
Computer Science Logic
Matthias Baaz, Johann M. Makowsky
₹4,479