Sna
Atul Kapoor
₹2,983
Computer Aided Verification
3rd International Workshop
by Kim G. Larsen, Arne Skou
Springer · 1992 · Paperback
₹5,690
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 in 1992, Computer Aided Verification: 3rd International Workshop by Kim G. Larsen & Arne Skou runs to 487 pages in paperback.
Its main subjects are Computer software, Verification, Congresses and Electronic digital computers.
Book details
- ISBN-13
- 9783540551799
- ISBN-10
- 3540551794
- Authors
- Kim G. Larsen, Arne Skou
- Publisher
- Springer
- Published
- 1992
- Binding
- Paperback
- Pages
- 487
- Language
- English
- Condition
- New
More in Computer Communications & Networking
Building Dynamic WAP Applications with MobileDev
Leslie Hirst, Nicolas Fortin, Stephane Hogue
₹3,645
Token-Ring Technology Report
Architecture Technology Corporation
₹3,831
Absolute Beginner's Guide to Cable Internet Connections
Mark Edward Soper
₹2,866
Blackberry Pearl Pocket Guide
Bart G. Farkas
₹3,716
Achieving Global Information Networking
Jean-Michel Cornily, Dennis Doherty, George Newsome, Christine Pageot-Millet, Antonio Rodriguez-Moral, Eve Varma, Thierry Stephant
₹3,245
Services and Visualization
Tiziana Margaria, Bernhard Steffen, Roland Rückert
₹5,543
Starlan Technology Report
Architecture Technology Corporation
₹3,719
Microsoft® Windows Server(TM) 2003 Resource Kit
Microsoft MVPs, Partners, The Microsoft Windows Server Team
₹3,219
Persistent Object Systems
Dag I. K. Sjberg, Alan Dearle
₹4,248
Broadband Communications
Bernhard Plattner
₹5,625
Voice over IP First-Step
Kevin Wallace
₹3,541