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 GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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: 05274322
Price: 19902 HUF
Availability: InStock
Author: Costas Courcoubetis
ISBN: 9783540569220

5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Costas Courcoubetis

Language

English

Book Paperback

Libristo code: 05274322

Publishers Springer, Berlin, November 1992

This volume contains the proceedings of the Fifth Conference§on Computer-Aided Verfication, held in... Full description

Libristo code: 05274322

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

LiteraNova - Unterrichtsmodelle mit Kopiervorlagen Thomas Brussig

Paperback

8 500 Ft

Powerless - Chestnut Springs - Tome 3 Elsie Silver

Paperback

4 178 Ft

Ejercicios espirituales para peregrinos de esperanza DAVID CABRERA

Paperback

7 548 Ft

Programmieren lehren heißt Denken lehren Poliana Moderno

Paperback

13 833 Ft

Ausdruck der AEquivalenzformen in einem Hauff-Marchen Markovicsné Gál Adrienne

Paperback

17 720 Ft

CTG-Praxis Stephan Schmidt

Paperback

11 813 Ft

Klasická teoretická fyzika Igor Jex

Paperback

4 968 Ft

Brak tchu. Edycja kolekcjonerska George Orwell Book

Hardback

5 833 Ft

Analisi canonica della riserva della Confermazione Emanuele Lanza

Paperback

9 364 Ft

Španělská občanská válka 1936-1939 Book

Paperback

2 154 Ft

heldenhafte Lubecker Sheltie-Boygroup Gerhard Jeschull

Paperback

7 330 Ft

Sketchnotes - Sketchnotes als Lerntechnik Jutta Korth

Paperback

7 756 Ft

Lebensspuren Michael Eisner

Paperback

8 675 Ft

Alice in Borderland 03 ASO HARO

Paperback

6 332 Ft

4 Classic Albums B. B. King

Audio CD

2 403 Ft

Guide du pisteur débutant Vincent Albouy

Paperback

6 142 Ft

Le mythe Haussmann Pinon

Paperback

7 312 Ft

Approche psychomotrice de la personne obèse GAUMET

Paperback

10 140 Ft

Œuvres complètes Lautréamont

Hardback

22 467 Ft

Sifali Salavatlar

Paperback

3 929 Ft

Poď sa so mnou hrať Nadine Reitzová Sophie

Book

2 625 Ft

Wiki-Technologie als Instrument des kollaborativen Wissensmanagements Kristina Sommer

Paperback

3 545 Ft

Schatten über Marrakesch Jens Plassmann

Paperback

5 260 Ft

Omega 3 Fettsäuren und wie sie wirken Christopher Schutze

Paperback

7 418 Ft

This volume contains the proceedings of the Fifth Conference§on Computer-Aided Verfication, held in Crete, Greece, in§June/July 1993.§The objective of the CAV conferences is to bring together§researchers and practitioners interested in the development§anduse of methods, tools, and theories for the§computer-aided verification of concurrent systems. The§conferences provide an opportunity for comparing various§verfication methods and tools that can be used to assist the§applications designer. Emphasis is placed on new research§results and the application of existing methods to real§verification problems.§The volume contains abstracts of three invited lectures and§full versions of 37 contributed papers selected from 84§submissions.The contributions are grouped into sections on§hardware verification with BDDs, methods and tools, theorem§proving, analysis of real-time systems, process algebras and§calculi, partial orders, and exploiting symmetry.