Quality of Software Architectures Models and Architectures
Hutchison, David - undifferentiated
₹4,263
Computer Aided Verification
22nd International Conference
by Tayssir Touili, Byron Cook, Paul Jackson
Springer · 2010
₹5,452
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: 22nd International Conference by Tayssir Touili, Byron Cook & others is a book published by Springer in 2010.
Its main subjects are Logic design, Computer networks, Software engineering and Computer science.
Book details
- ISBN-13
- 9783642142949
- ISBN-10
- 364214294X
- Authors
- Tayssir Touili, Byron Cook, Paul Jackson
- Publisher
- Springer
- Published
- 2010
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Extensions of Logic Programming
Peter Schroeder-Heister
₹5,561
Generative and Transformational Techniques in Software Engineering III
João M. Fernandes
₹3,842
Programming Languages and Their Definition
H. Bekic, C. B. Jones
₹5,518
Rewriting and Typed Lambda Calculi
Gilles Dowek
₹3,959
Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
₹4,286
Perspectives of Systems Informatics
Andrei Voronkov, Irina Virbitskaite
₹5,647
Types for Proofs and Programs
Hutchison, David - undifferentiated
₹4,281
Remote Usability Testing
Inge de Bleecker, Rebecca Okoroji
₹1,929
Verification, Induction, Termination Analysis
Simon Siegler, Nathan Wasser
₹5,461
Advances in Computing Science - Asian'99
P. S. Thiagarajan, Roland Yap
₹5,581
Application and Theory of Petri Nets
Lars M. Kristensen, Laure Petrucci
₹5,568