Computer Aided Verification
Shuvendu K. Lahiri, Chao Wang
₹3,190
Computer Aided Verification
32nd International Conference
by Shuvendu K. Lahiri, Chao Wang
Springer Nature Switzerland AG · 2020
₹3,190
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 Nature Switzerland AG in 2020, Computer Aided Verification: 32nd International Conference by Shuvendu K. Lahiri & Chao Wang runs to 669 pages.
Its main subjects are Computer modelling & simulation, Computer networking & communications, Computer science and Software Engineering.
Book details
- ISBN-13
- 9783030532871
- ISBN-10
- 3030532879
- Authors
- Shuvendu K. Lahiri, Chao Wang
- Publisher
- Springer Nature Switzerland AG
- Published
- 2020
- Edition
- 1st ed. 2020
- Pages
- 669
- Language
- English
- Condition
- New
- Subject
- Software engineering
More by Shuvendu K. Lahiri and related titles
Lehrbuch Der Softwaretechnik
Heide Balzert, Helmut Balzert, Rainer Koschke
₹4,965
Software Process Improvement and Management
Shukor Sanim Mohd Fauzi, Mohd Hairul Nizam Nasir, Nuraminah Ramli
₹5,454
Reflection and Software Engineering
Walter Cazzola, Robert J. Stroud, Francesco Tisato
₹5,493
Functional Programming
Rogardt Heldal, Carsten Kehler Holst, Philip Wadler
₹4,265
Software Process Technology
Brian C. Warboys
₹5,520
Towards a Synergistic Combination of Research and Practice in Software Engineering
Piotr Kosiuczenko, Lech Madeyski
₹7,760
The Future of Software Engineering
Sebastian Nanz
₹4,228
Software Engineering Research, Management and Applications 2010
Roger Lee, Alain Abran, Olga Ormandjieva
₹5,137
Software Architecture in Action
Flavio Oquendo, Jair Leite, Thaís Batista
₹4,707
Java Kompakt
Matthias Hölzl, Allaithy Raed, Martin Wirsing
₹3,143
A Programming Approach to Computability
Michael A. Arbib, Robert N. Moll, A. J. Kfoury
₹5,488