Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Lecture Notes in Computer Science - Byron Cook - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540697350 - 2007. gada 3. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Byron Cook
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

Cena
€ 53,99

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

Paredzamā piegāde . gada 7. - 15. okt.
Saņemiet paziņojumus par jauniem Byron Cook 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

Constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007.

395 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2007. gada 3. janvāris
ISBN13 9783540697350
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 395
Izmēri 155 × 235 × 21 mm   ·   612 g
Valoda Vācu  
Redaktors Cook, Byron
Redaktors Podelski, Andreas

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

Skatīt visus Byron Cook