Financial Cryptography and Data Security
Jeremy Clark, Andrea Bracciali, Massimiliano Sala
₹4,286
Integrated Formal Methods
13th International Conference
by Nadia Polikarpova, Steve Schneider
Springer International Publishing AG · 2017 · Paperback
₹4,249
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
Integrated Formal Methods: 13th International Conference by Nadia Polikarpova & Steve Schneider is a 438-page paperback edition published by Springer International Publishing AG in 2017.
Its main subjects are System design and Computer science.
Subjects
Book details
- ISBN-13
- 9783319668444
- ISBN-10
- 3319668447
- Authors
- Nadia Polikarpova, Steve Schneider
- Publisher
- Springer International Publishing AG
- Published
- 2017
- Edition
- 1st ed. 2017
- Binding
- Paperback
- Pages
- 438
- Language
- English
- Condition
- New
- Subject
- System design
More in System design
Database Design and Development
Paulraj Ponniah
₹3,424
Complex Systems Design & Management Asia
Michel-Alexandre Cardin, Daniel Krob, Pao Chuen Lui, Yang How Tan, Kristin Wood
₹11,591
Engineering Modeling Languages
Benoit Combemale, Robert France, Jean-Marc Jézéquel, Bernhard Rumpe, James Steel, Didier Vojtisek
₹9,653
Specification and Design of Software Systems
E. J. Neuhold, Elod Knuth
₹1,670
Software Engineering and Formal Methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider
₹5,652
Software Engineering and Formal Methods
Steve Counsell, Manuel Núñez
₹4,284
Global UX
Daniel Szuc, Whitney Quesenbery
₹2,833
Developing Web Information Systems
Richard Vidgen
₹2,613
Energy-Aware System Design
Chong-Min Kyung
₹4,616
Modeling Software Behavior
Paul C. Jorgensen
₹5,300
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma
₹5,598