Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Computer-aided Verification

Language EnglishEnglish
Book Hardback
Book Computer-aided Verification American Mathem American Mathem
Libristo code: 06319043
Publishers American Mathematical Society, June 1991
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Full description
? points 415 b
171.38 €
50 % chance We search the world When will I receive my book?

30-day return policy

Customers also purchased

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi / Book Paperback
common.buy 24.14 €
Zeis Mati Blum / Book Paperback
common.buy 15.75 €
Nuvole Bianche Nessa 19971995 / Book Paperback
common.buy 14.84 €
Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes... / Book Paperback
common.buy 27.88 €

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Computer-aided Verification
Author American Mathem American Mathem
Language English
Binding Book - Hardback
Date of issue 1991
EAN 9780821865941
ISBN 9780821865941
Libristo code 06319043
Publishers American Mathematical Society
Weight 666

Categories

Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer science
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Integrative Cardiovascular Chinese Medicine Anika Al-Shura / Book Hardback
common.buy 130.95 €
Crystal Path Georgina Easterbrook / Book Hardback
common.buy 22.12 €
Moo-Cow Kung-Fu-Cow Nick Sharratt / Book Board book
common.buy 6.66 €
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew / Book Paperback
common.buy 17.37 €
Getting Started with Grails Rudolph / Book Paperback
common.buy 21.92 €
Wild Oats Or The Strolling Gentlemen John O'Keeffe / Book Hardback
common.buy 47.69 €
Patterns of a Network Economy Börje Johansson / Book Paperback
common.buy 114.38 €
Coming soon
Sculptured Thin Films Russell F. Messier / Book Hardback
common.buy 96.80 €
Responsible Management of Information Systems Stahl / Book Hardback
common.buy 88.21 €
Coming soon
Invention of the Moving Assembly Line Dennis Abrams / Book Hardback
common.buy 40.11 €
Coming soon
Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation / Book Paperback
common.buy 53.65 €
Computer-aided Method Engineering Ajantha Dahanayake / Book Hardback
common.buy 82.75 €
First World, Third World William Ryrie / Book Hardback
common.buy 114.38 €
Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology / Book Paperback
common.buy 53.04 €
150 Idees Recues Sur L'Histoir FL / Book Paperback
common.buy 25.15 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account