Deductive Software Verification
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt
₹9,279
Integrated Formal Methods
15th International Conference
by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
Springer Nature Switzerland AG · 2019 · Paperback
₹4,292
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: 15th International Conference by Wolfgang Ahrendt & Silvia Lizeth Tapia Tarifa is a 554-page paperback edition published by Springer Nature Switzerland AG in 2019.
Book details
- ISBN-13
- 9783030349677
- ISBN-10
- 3030349675
- Authors
- Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
- Publisher
- Springer Nature Switzerland AG
- Published
- 2019
- Edition
- 1st ed. 2019
- Binding
- Paperback
- Pages
- 554
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Wolfgang Ahrendt and related titles
The Hardware Trojan War
Swarup Bhunia, Mark M. Tehranipoor
₹10,442
Digital Rhetoric
Douglas Eyman
₹2,996
Stochastic Quantization
Mikio Namiki
₹2,650
Distributed Operating Systems
Andrew S. Tanenbaum
₹1,765
Search Engine Society
Alexander Halavais
₹2,574
Artificial Intelligence
Rashmi Priyadarshini
₹7,297
Statistical Methods for Quality Assurance
Stephen B. Vardeman, J. Marcus Jobe
₹9,210
Journalismus in Der Digitalen Moderne
Leif Kramp, Leonard Novy, Dennis Ballwieser
₹2,269
C# 2005 in Simple Steps
Kogent Solutions Inc
₹3,891
Compiler Construction
Albert Cohen
₹3,801
Exploratory Data Analysis with R
Roger Peng
₹2,196