Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures - Lecture Notes in Computer - Bob Plamondon - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540230687 - keskiviikko 1. syyskuuta 2004
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures - Lecture Notes in Computer 2004 edition

Bob Plamondon

Hinta
DKK 394,24

Tilattu etävarastosta

Arvioitu toimitus ma - ti 3. - 11. marras

Asiakkaamme sanovat:

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

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures - Lecture Notes in Computer 2004 edition

Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems.

297 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 1. syyskuuta 2004
ISBN13 9783540230687
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Genre Cultural Region > Canadian
Sivujen määrä 297
Mitta 160 × 240 × 16 mm   ·   435 g
Kieli German  
Toimittaja Bernardo, Marco
Toimittaja Corradini, Flavio

Katso kaikki joka sisältää Bob Plamondon ( Esim. Paperback Book )