Informatik Zwischen Wissenschaft Und Gesellschaft
Hans-Jörg Kreowski
₹3,508
Computer Aided Verification
by Viktor Kunčak Rupak Majumdar
₹3,067
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, Computer Aided Verification by Viktor Kunčak Rupak Majumdar runs to 240 pages.
Book details
- ISBN-13
- 9783319633909
- ISBN-10
- 3319633902
- Author
- Viktor Kunčak Rupak Majumdar
- Publisher
- Springer
- Pages
- 240
- Language
- English
- Condition
- New
Related books
Colonialism in Greenland
Søren Rud
₹4,421
Arthur's Invariant Trace Formula and Comparison of Inner Forms
Yuval Z. Flicker
₹3,190
Skin of Color
Andrew F. Alexis
₹3,738
Impossible Bodies, Impossible Selves
Deborah Youdell
₹4,630
Concur 2002 - Concurrency Theory
Lubos Brim, Petr Jancar, Mojmir Kretinsky
₹4,288
Java Kompakt
Matthias Hölzl, Allaithy Raed, Martin Wirsing
₹3,143
Anleitungen Zum Arbeiten Im Elektrotechnischen Laboratorium
Ernst Orlich, Max Knoll
₹3,508
Mechanismen Zur Synchronisation Paralleler Prozesse
Bernhard Freisleben
₹3,508
Developments in Language Theory
Yuan Gao, Hanlin Lu, Shinnosuke Seki
₹5,618
Tabellen Der Zucker Und Ihrer Derivate
Hans Vogel, Alfred Georg
₹3,508
Multiple Sclerosis Research in Europe
O. R. Hommes
₹5,098