David L Dill
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings - Lecture Notes in Computer Science David L Dill 1994 edition

Name: Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings - Lecture Notes in Computer Science
Price: 53.99 EUR
Availability: OutOfStock
Author: David L Dill

Cena

€ 53,99

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

Paredzamā piegāde . gada 8. - 16. okt.

Saņemiet paziņojumus par jauniem David L Dill 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: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings - Lecture Notes in Computer Science

David L Dill

1994 edition

in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993. The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

486 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	1994. gada 1. jūnijs
ISBN13	9783540581796
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	486
Izmēri	155 × 235 × 25 mm · 689 g
Valoda	Vācu
Redaktors	Dill, David L.