Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings (International Conference, Cav '93, Elounda, Greece, June 28-july 1, 1993 - Proceedings) - Lecture Notes in Computer Science - Costas Courcoubetis - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540569220 - 1993. gada 16. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Costas Courcoubetis
Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings (International Conference, Cav '93, Elounda, Greece, June 28-july 1, 1993 - Proceedings) - Lecture Notes in Computer Science

Cena
€ 53,99

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

Paredzamā piegāde . gada 13. - 23. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Costas Courcoubetis izdevumiem

Mūsu klienti saka:

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

This volume contains the proceedings of the 5th Conference on Computer Aided Verification, held in Crete in June 1993. This forum brought together researchers interested in the development and use of methods, tools and theories for the computer aided verification of concurrent systems.

510 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1993. gada 16. jūnijs
ISBN13 9783540569220
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 510
Izmēri 155 × 233 × 26 mm   ·   725 g
Valoda Vācu  
Redaktors Courcoubetis, Costas

Vairāk no tā paša izdevēja

Skatīt visus Costas Courcoubetis