Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Lect - Nir Piterman - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642367410 - 2013. gada 20. februāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Nir Piterman
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Lect 2013 edition

Cena
€ 53,99

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

Paredzamā piegāde . gada 12. - 20. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Nir Piterman 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 proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. runtime verification and model checking; timed automata; explicit-state model checking; Büchi automata;

650 pages, 137 black & white illustrations, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2013. gada 20. februāris
ISBN13 9783642367410
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Žanrs Aspects (Academic) > Science / Technology Aspects
Lapas 646
Izmēri 155 × 235 × 34 mm   ·   925 g
Valoda Franču  
Redaktors Piterman, Nir
Redaktors Smolka, Scott

Vairāk no Nir Piterman

Rādīt visu

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

Skatīt visus Nir Piterman