
Formal Methods in Programming and Their Applications | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer
Inclusive of all applicable taxes. FREE shipping on all orders.
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
About the Author
Formal Methods in Programming and Their Applications | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer | by Dines Bjørner | Manfred Broy | Igor V. Pottosin | Springer is authored by Dines Bjørner | Manfred Broy | Igor V. Pottosin.
Book Highlights
Book Specifications
| ISBN-13 | 9783540573166 |
| ISBN-10 | 354057316X |
| Publisher | Springer |
| Category | Programming |
| author | Dines Bjørner | Manfred Broy | Igor V. Pottosin |
Frequently Asked Questions
What is the price of Formal Methods in Programming and Their Applications?
Does BookShops.in offer free delivery for Formal Methods in Programming and Their Applications?
Is Cash on Delivery available for Formal Methods in Programming and Their Applications?
What is the return policy for Formal Methods in Programming and Their Applications?
Is Formal Methods in Programming and Their Applications authentic?
Customers Also Bought

Programming
Algorithms -- ESA 2004 | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer

Programming
Design of the UNIX Operating System: United States Edition | by Maurice Bach | Pearson College Div | English | 1st Edition

Programming
Data Structures and Other Objects Using Java | by Michael Main | Pearson | English | 4th Edition

Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition

Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition

Programming
Programming In C 2/E | by Pradip Dey, amp; Manas Ghosh | Oxford | English | Second Edition
Related Products
View All
Programming
Algorithms -- ESA 2004 | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer

Programming
Design of the UNIX Operating System: United States Edition | by Maurice Bach | Pearson College Div | English | 1st Edition

Programming
Data Structures and Other Objects Using Java | by Michael Main | Pearson | English | 4th Edition

Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition

Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition

Programming
