Unifying Theories of Programming
David Naumann
₹3,157
Formal Methods
Foundations and Applications
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2012
₹3,647
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-Verlag Berlin and Heidelberg GmbH & Co. K in 2012, Formal Methods: Foundations and Applications by David Naumann runs to 227 pages.
Topics covered include System design, Formal methods (Computer science) and Congresses.
Book details
- ISBN-13
- 9783642332951
- ISBN-10
- 3642332951
- Author
- David Naumann
- Published
- 2012
- Edition
- 2012 ed.
- Pages
- 227
- Language
- English
- Condition
- New
- Subject
- Business & Economics
More by David Naumann and related titles
Factors in Business Investment
Michael Funke
₹7,769
Artificial Intelligence in Schools
Varun Arora
₹4,843
The Technological Republic
Alexander C. Karp, Nicholas W. Zamiska
₹2,151
Practical Engineering Design
Lilianna Z. Pillon
₹6,811
People Power in an Era of Global Crisis
Barry K. Gills, Kevin Gray
₹7,605
Northwest California – A Natural History
John O. Sawyer
₹4,781
The Little Green Data Book 2010
World Bank
₹3,538
The Software Dilemma
Roger Gutbrod, Christian Wiele
₹4,259
Irregularities, Frauds and the Necessity of Technical Auditing in Construction Industry
A.L.M.Ameer
₹2,579
The 2000-2005 World Outlook for Life Insurance Sold by Life Insurance Companies
Research Group
₹3,437
Find Your Courage
Margie Warrell
₹2,201