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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer Aided Verification

7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Pierre Wolper
Libristo code: 05274476
Publishers Springer, Berlin, November 1994
This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat... Full description
? points 136 b
19 829 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida Ivan Garcia / Book Paperback
common.buy 2 920 Ft
Cronicando COUTO / Book Paperback
common.buy 8 077 Ft
L'Olimpia Giambattista della Porta / Book Hardback
common.buy 6 935 Ft
notti chiare Carlotta Cubeddu / Book Hardback
common.buy 6 309 Ft
Manager pour apprendre SHOOK / Book Paperback
common.buy 16 969 Ft
Le Parc Naturel Régional du Morvan à pied collegium / Book Paperback
common.buy 7 902 Ft
Papiermache Figuren selbst gebaut Anke Redhead / Book Paperback
common.buy 5 084 Ft
Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine / Book Paperback
common.buy 8 395 Ft
Lebensversicherungsvertrage A Kaindl / Book Paperback
common.buy 3 532 Ft
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Audio Audio CD
common.buy 3 343 Ft
Die Kunst des Zweifelns Andreas U. Sommer / Book Paperback
common.buy 3 813 Ft
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / Book Paperback
common.buy 9 680 Ft
Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli / Book Paperback
common.buy 7 405 Ft
Grain EP ZS / Audio Audio CD
common.buy 5 346 Ft

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.

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 Pierre Wolper
Language English
Binding Book - Paperback
Date of issue 1995
Number of pages 456
EAN 9783540600459
ISBN 3540600450
Libristo code 05274476
Publishers Springer, Berlin
Weight 622
Dimensions 156 x 234 x 23

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Meat me: The end of a new beginning Sharon Ann De Jong / Book Paperback
common.buy 4 978 Ft
Adaptive Coding and Modulation Romana Rafi / Book Paperback
common.buy 19 599 Ft
TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE? United States Congress Senate Committee / Book Paperback
common.buy 10 545 Ft
Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep Wendy Middlemiss / Book Paperback
common.buy 6 000 Ft
Psychotraumatology George S. Everly Jr. / Book Paperback
common.buy 78 971 Ft
Blake's Reading Log Martha Day Zschock / Book Paperback
common.buy 3 270 Ft
Jane Butel's Simply Southwestern Jane Butel / Book Hardback
common.buy 10 412 Ft
Advances in Systems Biology Igor Goryanin / Book Paperback
common.buy 78 971 Ft
My First Encyclopedia of Trees (giant Size) Richard McGinlay / Book Paperback
common.buy 2 104 Ft
Easy Ukulele Songs Rebecca Bogart / Book Paperback
common.buy 3 942 Ft
Farmer's Magazine Anonymous / Book Hardback
common.buy 15 289 Ft
World's Divide Books 1-4 Collection Ryan Eugene Hartung / Book Paperback
common.buy 4 923 Ft
Sacred Hymns and Spiritual Songs Anonym / Book Paperback
common.buy 11 038 Ft
5-Minute Bible Study for Women Emily Biggers / Book Paperback
common.buy 2 422 Ft
The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman / Book Paperback
common.buy 13 129 Ft
Theory and New Applications of Swarm Intelligence Rafael Parpinelli / Book Hardback
common.buy 44 332 Ft
Now You Know Royalty Doug Lennox / E-book Adobe ePub DRM
common.buy 2 031 Ft
I Am A Key Larry Odell Johnson / Book Paperback
common.buy 4 863 Ft
Metropolitan Poor Vol 5 Masaie Matsumura / Book Hardback
common.buy 53 883 Ft
Diffusion and Use of Genomic Innovations in Health and Medicine Roundtable on Translating Genomic-Based Research for Health / Book Paperback
common.buy 22 284 Ft
Crisis of Gender and the Nation in Korean Literature and Cinema Kelly Y. Jeong / Book Hardback
common.buy 45 005 Ft
Perspectives on U.S. Policy Toward North Korea Sharon Richardson / Book Paperback
common.buy 22 560 Ft
Archive Stories Antoinette Burton / Book Hardback
common.buy 52 511 Ft
Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis / Book Paperback
common.buy 59 257 Ft

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?