Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures - Lecture Notes in Computer Science - Marco Bernardo - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540343042 - maanantai 15. toukokuuta 2006
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures - Lecture Notes in Computer Science 2006 edition

Marco Bernardo

Hinta
NZD 119,90

Tilattu etävarastosta

Arvioitu toimitus to - ma 10. - 21. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures - Lecture Notes in Computer Science 2006 edition

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006).

244 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 15. toukokuuta 2006
ISBN13 9783540343042
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 244
Mitta 155 × 235 × 13 mm   ·   362 g
Kieli French  
Toimittaja Bernardo, Marco
Toimittaja Cimatti, Alessandro
Näytä kaikki

Lisää tuotteita Marco Bernardo

Katso kaikki joka sisältää Marco Bernardo ( Esim. Paperback Book , Book Ja CD )