Check order status

Check order status

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

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

phone

Contact

phone

Help

My account

▸ Empty :-(

0

Book Computer Aided Verification Pierre Wolper

Computer Aided Verification

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

Language

English

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

Libristo code: 05274476

?

points

111 b

45.49 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida Ivan Garcia

/

Paperback

6.39 €

Cronicando COUTO

/

Paperback

18.39 €

L'Olimpia Giambattista della Porta

/

Hardback

19.90 €

notti chiare Carlotta Cubeddu

/

Hardback

13.89 €

Manager pour apprendre SHOOK

/

Paperback

34.49 €

Le Parc Naturel Régional du Morvan à pied collegium

/

Paperback

18.59 €

Papiermache Figuren selbst gebaut Anke Redhead

/

Paperback

14.50 €

Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine

/

Paperback

18.39 €

Lebensversicherungsvertrage A Kaindl

/

Paperback

9.99 €

Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner

/

Audio CD

9.99 €

Die Kunst des Zweifelns Andreas U. Sommer

/

Paperback

9.90 €

Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser

/

Paperback

27.95 €

Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli

/

Paperback

16.19 €

Grain EP ZS

/

Audio CD

18.99 €

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

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

/

Paperback

13.59 €

Adaptive Coding and Modulation Romana Rafi

/

Paperback

43.49 €

TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE? United States Congress Senate Committee

/

Paperback

23.39 €

Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep Wendy Middlemiss

/

Paperback

13.19 €

Psychotraumatology George S. Everly Jr.

/

Paperback

181.29 €

Blake's Reading Log Martha Day Zschock

/

Paperback

6.69 €

Jane Butel's Simply Southwestern Jane Butel

/

Hardback

21.49 €

Advances in Systems Biology Igor Goryanin

/

Paperback

181.29 €

My First Encyclopedia of Trees (giant Size) Richard McGinlay

/

Paperback

4.69 €

Easy Ukulele Songs Rebecca Bogart

/

Paperback

8.69 €

Farmer's Magazine Anonymous

/

Hardback

33.89 €

World's Divide Books 1-4 Collection Ryan Eugene Hartung

/

Paperback

10.79 €

Sacred Hymns and Spiritual Songs Anonym

/

Paperback

24.89 €

5-Minute Bible Study for Women Emily Biggers

/

Paperback

4.99 €

The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman

/

Paperback

29.09 €

Theory and New Applications of Swarm Intelligence Rafael Parpinelli

/

Hardback

100.09 €

Now You Know Royalty Doug Lennox

/

Adobe ePub DRM

4.69 €

I Am A Key Larry Odell Johnson

/

Paperback

10.79 €

Metropolitan Poor Vol 5 Masaie Matsumura

/

Hardback

143.49 €

Diffusion and Use of Genomic Innovations in Health and Medicine Roundtable on Translating Genomic-Based Research for Health

/

Paperback

51.89 €

Crisis of Gender and the Nation in Korean Literature and Cinema Kelly Y. Jeong

/

Hardback

104.99 €

Perspectives on U.S. Policy Toward North Korea Sharon Richardson

/

Paperback

50.89 €

Archive Stories Antoinette Burton

/

Hardback

127.59 €

Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis

/

Paperback

136.09 €

Book advisor Libroamiko

Hi, I'm Libroamiko, can I help?