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 € DPD courier 3.99 € DPD point 2.99 €

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

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

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

/

Paperback

7.99 €

Cronicando COUTO

/

Paperback

23.59 €

L'Olimpia Giambattista della Porta

/

Hardback

19.90 €

notti chiare Carlotta Cubeddu

/

Hardback

18.49 €

Manager pour apprendre SHOOK

/

Paperback

45.79 €

Le Parc Naturel Régional du Morvan à pied collegium

/

Paperback

22.99 €

Papiermache Figuren selbst gebaut Anke Redhead

/

Paperback

14.50 €

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

/

Paperback

22.79 €

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

11.29 €

Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser

/

Paperback

27.95 €

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

/

Paperback

20.09 €

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

53.39 €

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

/

Paperback

28.69 €

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

/

Paperback

16.29 €

Psychotraumatology George S. Everly Jr.

/

Paperback

214.29 €

Blake's Reading Log Martha Day Zschock

/

Paperback

8.79 €

Jane Butel's Simply Southwestern Jane Butel

/

Hardback

28.19 €

Advances in Systems Biology Igor Goryanin

/

Paperback

214.29 €

My First Encyclopedia of Trees (giant Size) Richard McGinlay

/

Paperback

5.89 €

Easy Ukulele Songs Rebecca Bogart

/

Paperback

10.69 €

Farmer's Magazine Anonymous

/

Hardback

41.59 €

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

/

Paperback

13.39 €

Sacred Hymns and Spiritual Songs Anonym

/

Paperback

29.89 €

5-Minute Bible Study for Women Emily Biggers

/

Paperback

6.59 €

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

/

Paperback

35.79 €

Theory and New Applications of Swarm Intelligence Rafael Parpinelli

/

Hardback

119.99 €

Now You Know Royalty Doug Lennox

/

Adobe ePub DRM

5.89 €

I Am A Key Larry Odell Johnson

/

Paperback

13.19 €

Metropolitan Poor Vol 5 Masaie Matsumura

/

Hardback

150.79 €

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

/

Paperback

62.29 €

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

/

Hardback

131.89 €

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

/

Paperback

66.09 €

Archive Stories Antoinette Burton

/

Hardback

144.39 €

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

/

Paperback

160.89 €

Book advisor Libroamiko

Hi, I'm Libroamiko, can I help?