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

DPD courier 4.99 € GLS courier 11.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

125 b

51.72 €

In stock at our supplier Shipping in 5-8 days

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

7.68 €

Cronicando COUTO

/

Paperback

22.87 €

L'Olimpia Giambattista della Porta

/

Hardback

17.91 €

notti chiare Carlotta Cubeddu

/

Hardback

17.91 €

Manager pour apprendre SHOOK

/

Paperback

43.62 €

Le Parc Naturel Régional du Morvan à pied collegium

/

Paperback

22.36 €

Papiermache Figuren selbst gebaut Anke Redhead

/

Paperback

13.15 €

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

/

Paperback

21.96 €

Lebensversicherungsvertrage A Kaindl

/

Paperback

9.10 €

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

/

Audio CD

8.60 €

Die Kunst des Zweifelns Andreas U. Sommer

/

Paperback

10.82 €

Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser

/

Paperback

25.10 €

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

/

Paperback

19.33 €

Grain EP ZS

/

Audio CD

14.37 €

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.05 €

Adaptive Coding and Modulation Romana Rafi

/

Paperback

51.52 €

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

/

Paperback

27.73 €

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

/

Paperback

15.68 €

Psychotraumatology George S. Everly Jr.

/

Paperback

205.91 €

Blake's Reading Log Martha Day Zschock

/

Paperback

8.39 €

Jane Butel's Simply Southwestern Jane Butel

/

Hardback

26.82 €

Advances in Systems Biology Igor Goryanin

/

Paperback

205.91 €

My First Encyclopedia of Trees (giant Size) Richard McGinlay

/

Paperback

5.56 €

Easy Ukulele Songs Rebecca Bogart

/

Paperback

10.32 €

Farmer's Magazine Anonymous

/

Hardback

40.18 €

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

/

Paperback

12.85 €

Sacred Hymns and Spiritual Songs Anonym

/

Paperback

28.54 €

5-Minute Bible Study for Women Emily Biggers

/

Paperback

8.39 €

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

/

Paperback

34.51 €

Theory and New Applications of Swarm Intelligence Rafael Parpinelli

/

Hardback

114.80 €

Now You Know Royalty Doug Lennox

/

Adobe ePub DRM

5.76 €

I Am A Key Larry Odell Johnson

/

Paperback

12.75 €

Metropolitan Poor Vol 5 Masaie Matsumura

/

Hardback

145.98 €

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

/

Paperback

59.62 €

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

/

Hardback

127.45 €

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

/

Paperback

63.87 €

Archive Stories Antoinette Burton

/

Hardback

138.69 €

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

/

Paperback

154.48 €

Book advisor Libroamiko

Hi, I'm Libroamiko, can I help?