Software Quality Engineering
Witold Suryn
₹5,723
Computer Aided Verification
7th International Conference
Springer · 1995 · Paperback
₹5,606
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: 7th International Conference by Pierre Wolper is a 450-page paperback edition published by Springer in 1995.
The book deals with Congresses, Electronic digital computers, Evaluation and Verification.
Book details
- ISBN-13
- 9783540600459
- ISBN-10
- 3540600450
- Author
- Pierre Wolper
- Publisher
- Springer
- Published
- 1995
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 450
- Language
- English
- Condition
- New
- Subject
- Computer software
More in Computer software
Extensions of the Unity Methodology
Josyula R. Rao
₹5,470
Refactoring Databases
Scott W. Ambler, Pramodkumar J. Sadalage
₹4,347
Software Reuse
William B. Frakes
₹5,606
Agile Software Development Evaluating the Methods for Your Organization
Alexis Leon, Alan S. Koch
₹5,242
Maple and Mathematica
Inna Shingareva, Carlos Lizarraga-celaya
₹5,864
Drupal 8 Quick Start Guide
Jeff Greenberg
₹1,538
Partial Evaluation
Olivier Danvy, Robert Glück, Peter Thiemann
₹5,639
Parsing Theory
Eljas Soisalon-Soininen, Seppo Sippu
₹3,931
Digital Guide to Developing International Software
Cynthia Hartman Kennelly
₹6,715
Software Design
D. Budgen
₹4,117
Component-based Software Engineering
CBSE 2008 (2008 Karlsruhe, Germany)
₹4,264