Computer Aided Verification
Rupak Majumdar, Viktor Kunčak
₹4,300
Computer Aided Verification
29th International Conference
by Rupak Majumdar, Viktor Kunčak
Springer International Publishing AG · 2017 · Paperback
₹4,317
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
Computer Aided Verification: 29th International Conference by Rupak Majumdar & Viktor Kunčak is a 601-page paperback edition published by Springer International Publishing AG in 2017.
Book details
- ISBN-13
- 9783319633862
- ISBN-10
- 3319633864
- Authors
- Rupak Majumdar, Viktor Kunčak
- Publisher
- Springer International Publishing AG
- Published
- 2017
- Edition
- 1st ed. 2017
- Binding
- Paperback
- Pages
- 601
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Rupak Majumdar and related titles
American Exceptionalism, the French Exception, and Digital Media Law
Lyombe S. Eko
₹5,466
Mathematical Foundations of Neuroscience
David H. Terman, G. Bard Ermentrout
₹7,011
Java Programming Exercises
Christian Ullenboom
₹14,244
Multimedia Signals and Systems
Irena Orovic, Ervin Sejdic, Srdjan Stankovic
₹4,739
Pro Functional PHP Programming
Rob Aley
₹3,864
The EU Artificial Intelligence Act
Rostam J. Neuwirth
₹5,539
Load-Pull Techniques with Applications to Power Amplifier Design
Mohammad S. Hashmi, Fadhel M. Ghannouchi
₹12,024
Regulating Hate Generated by AI
Jay Liebowitz
₹13,524
A Web of Our Own Making
Antón Barba-Kay
₹8,207
The Engineering of Reliable Embedded Systems (LPC1769)
Michael J. Pont
₹2,900
Discrete Mathematics and Applications
Michael Th. Rassias Andrei M. Raigorodskii
₹4,685