E Brinksma
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Lecture Notes in Computer Science E Brinksma 2002 edition

Name: Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Lecture Notes in Computer Science
Price: 103.49 EUR
Availability: OutOfStock
Author: E Brinksma

Cena

€ 103,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 10. - 18. sept.

Saņemiet paziņojumus par jauniem E Brinksma izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Lecture Notes in Computer Science

E Brinksma

2002 edition

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. In addition, the CAV program contained 11 tool presentations selected from 16 submissions.

362 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2002. gada 19. jūlijs
ISBN13	9783540439974
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	362
Izmēri	155 × 233 × 33 mm · 911 g
Valoda	Vācu
Redaktors	Brinksma, Ed
Redaktors	Larsen, Kim G.