Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

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

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 01567506
Price: 41699 HUF
Availability: InStock
Author: E. Allen Emerson
ISBN: 9783540677703

12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

E. Allen Emerson

A. Prasad Sistla

Language

English

Book Paperback

Libristo code: 01567506

Publishers Springer, Berlin, November 1999

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide... Full description

Libristo code: 01567506

285 b

41 699 Ft

Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Pokémon: Mein großer Pokémon-Block Panini

Paperback

3 429 Ft

600 Primeras Palabras Más Usadas Tarjetas Bebe Bilingüe Vocabulario Espa?ol Portugués Libro Infantiles Para Ni?os: Aprender imaginario diccionario bás Lenguaje Preparacion

Paperback

4 996 Ft

Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch

Paperback

50 827 Ft

SPIDER-MAN. 5 MINUTOS PARA SOÑAR MARVEL

Book

4 280 Ft

Las celdas de mi cuerpo Rivero

Paperback

1 729 Ft

BIDAIA SANNA

Hardback

8 412 Ft

Principes d'analyse fonctionnelle WILLEM

Paperback

13 043 Ft

Le Livre des merveilles du monde Polo

Paperback

1 581 Ft

Phi Phi Island Josef Haslinger

Paperback

5 260 Ft

Vogesen Curt Mundel

Paperback

22 439 Ft

Standards der OP-Patientenlagerung Sadik Duru

Paperback

25 490 Ft

Ruckkehr Der Zeitmaschine Egon Friedell

Hardback

8 675 Ft

LES SOEURS DE PRAGUE J. Garcin

Paperback

4 077 Ft

Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel

Paperback

25 577 Ft

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000.§The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation.