Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (International Workshop, Cav '92, Montreal, Canada, June 29-july 1, 1992 - Proceedings) - Lecture Notes in Computer Science - Gregor Von Bochmann - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540564966 - 1993. gada 30. marts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Gregor Von Bochmann
Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (International Workshop, Cav '92, Montreal, Canada, June 29-july 1, 1992 - Proceedings) - Lecture Notes in Computer Science

Cena
€ 53,99

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

Paredzamā piegāde . gada 5. - 13. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Gregor Von Bochmann 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 a workshop which brought together researchers interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. It compares verification methods and tools that assist the applications designer.

426 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1993. gada 30. marts
ISBN13 9783540564966
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 426
Izmēri 155 × 233 × 22 mm   ·   616 g
Valoda Vācu  
Redaktors Bochmann, Gregor V.
Redaktors Probst, D.k.

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

Skatīt visus Gregor Von Bochmann