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
Computer Aided Verification: 32nd International Conference by Shuvendu K. Lahiri & Chao Wang is a 683-page book published by Springer Nature Switzerland AG in 2020.
Topics covered include Computer modelling & simulation, Computer networking & communications, Computer science and Software Engineering.
Book details
- ISBN-13
- 9783030532901
- ISBN-10
- 3030532909
- Authors
- Shuvendu K. Lahiri, Chao Wang
- Publisher
- Springer Nature Switzerland AG
- Published
- 2020
- Edition
- 1st ed. 2020
- Pages
- 683
- Language
- English
- Condition
- New
- Subject
- Software engineering
More by Shuvendu K. Lahiri and related titles
Software Engineering
Shari Pfleeger, Joanne Atlee
₹5,313
Software Engineering
Ian Sommerville
₹2,941
Software Engineering and Formal Methods
Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
₹4,246
Histories of Computing
Michael Sean Mahoney, Thomas Haigh
₹4,948
Maximizing Business Performance Through Software Packages
Robert W. Starinsky
₹5,008
Software Engineering and Middleware
Alberto Coen-Porisini, André Van Der Hoeck
₹5,499
Concise Encyclopedia of Software Engineering
Derrick Morris, B. G. Tamm
₹3,992
Software Engineering
Pressman
₹3,292
Schaum's Outline of Theory and Problems of Software Engineering
David A. Gustafson
₹4,021
Best Practice Software-Engineering
Alexander Schatten, Stefan Biffl, Markus Demolsky
₹5,330
Guide to Applying Human Factors Methods
Pietro Carlo Cacciabue
₹4,243