Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
₹5,598
Software Engineering 1
Abstraction and Modelling
Springer · 2006 · Hardcover
₹5,159
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 2006, Software Engineering 1: Abstraction and Modelling by Dines Bjørner runs to 714 pages in hardcover. It belongs to the Texts in theoretical computer science series.
The book deals with Computer programming, Software engineering, Formal methods (Computer science) and Informatique.
About the author: D. Bjørner (born 1937).
Book details
- ISBN-13
- 9783540211495
- ISBN-10
- 3540211497
- Author
- Dines Bjørner
- Publisher
- Springer
- Author dates
- D. Bjørner (born 1937)
- Published
- 2006
- Series
- Texts in theoretical computer science
- Edition
- 1 edition
- Binding
- Hardcover
- Pages
- 714
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Dines Bjørner and related titles
Domain Science and Engineering
Dines Bjrner
₹13,598
VDM '87. VDM - A Formal Method at Work
Dines Bjørner, Cliff Jones, Michael Mac an Airchinnigh
₹5,591
Software Engineering 2
Dines Bjørner
₹2,687
Unifying Theories of Programming
Andrew Butterfield
₹5,525
Fundamental Approaches to Software Engineering
Dimitra Giannakopoulou, Fernando Orejas
₹5,627
Fudamentals of Digital Logic with VHDL Design
Stephen Brown, Zvonko Vranesic
₹3,115
Logics of Programs
Rohit Parikh
₹5,591
Tapsoft '89
Josep Diaz, Fernando Orejas
₹5,576
Formal Methods for Components and Objects
Bernhard K. Aichernig, Frank S. De Boer, Marcello M. Bonsangue
₹5,595
Algebraic Methodology and Software Technology
Meseguer J.
₹2,810
Extensions of Logic Programming
Peter Schroeder-Heister
₹5,561