Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings - Lecture Notes in Computer Science - Antti Valmari - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540331025 - 2006. gada 15. marts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Antti Valmari
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings - Lecture Notes in Computer Science 2006 edition

Cena
€ 63,99

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

Paredzamā piegāde . gada 14. - 28. aug.
Saņemiet paziņojumus par jauniem Antti Valmari 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 book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions.

308 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2006. gada 15. marts
ISBN13 9783540331025
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 308
Izmēri 155 × 235 × 17 mm   ·   453 g
Valoda Franču  
Redaktors Valmari, Antti

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

Skatīt visus Antti Valmari ( piem., Paperback Book )