Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August - Lubos Brim - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540709510 - 2007. gada 20. februāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Lubos Brim
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 2007 edition

Cena
€ 53,99

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

Paredzamā piegāde . gada 16. - 24. sept.
Saņemiet paziņojumus par jauniem Lubos Brim 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 thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

376 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2007. gada 20. februāris
ISBN13 9783540709510
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 366
Izmēri 155 × 235 × 19 mm   ·   526 g
Valoda Vācu  
Redaktors Brim, Lubos
Redaktors Haverkort, Boudewijn
Redaktors Leucker, Martin
Redaktors Pol, Jaco van de

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

Skatīt visus Lubos Brim