Computer Aided Verification
Rupak Majumdar, Viktor Kunčak
₹4,317
Computer Aided Verification
29th International Conference
by Rupak Majumdar, Viktor Kunčak
Springer International Publishing AG · 2017 · Paperback
₹4,300
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 is written by Rupak Majumdar & Viktor Kunčak. This paperback edition from Springer International Publishing AG (2017) has 623 pages.
Book details
- ISBN-13
- 9783319633893
- ISBN-10
- 3319633899
- Authors
- Rupak Majumdar, Viktor Kunčak
- Publisher
- Springer International Publishing AG
- Published
- 2017
- Edition
- 1st ed. 2017
- Binding
- Paperback
- Pages
- 623
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Rupak Majumdar and related titles
Smooth Manifolds and Observables
Jet Nestruev
₹3,815
Thin Impedance Vibrators
Victor A. Katrich, Mikhail V. Nesterenko, Victor M. Dakhov, Sergey L. Berdnik, Yuriy M. Penkin
₹7,758
Human-Robot Interaction
Friederike Eyssel, Tony Belpaeme, Christoph Bartneck, Takayuki Kanda, Merel Keijsers, Selma Šabanović
₹4,469
The Development of a 2D Ultrasonic Array Inspection for Single Crystal Turbine Blades
Christopher Lane
₹11,561
Towards the Synthesis of Micro-/Nano-Systems
₹4,040
The Defence of Malaysia and Singapore
Kin Wah Chin
₹4,028
Roxio Easy Media Creator 8 for Dummies
Greg Harvey
₹3,989
Dynamic HTML Black Book
Jeff Wandling
₹3,606
Excel 2007 PivotTables and PivotCharts
Peter G. Aitken
₹4,130
Groupware Und Computergestützte Zusammenarbeit
Carin Bornschein-Grass
₹5,246
Cyberspace Mimic Defense
Jiangxing Wu
₹15,355