Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures - Programming and Software Engineer - Marco Bernardo - Kirjat - Springer International Publishing AG - 9783319073163 - keskiviikko 21. toukokuuta 2014
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures - Programming and Software Engineer 2014 edition

Marco Bernardo

Hinta
CA$ 83,04

Tilattu etävarastosta

Arvioitu toimitus pe - ma 4. - 14. heinä
Lisää iMusic-toivelistallesi
Eller

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures - Programming and Software Engineer 2014 edition

343 pages, 101 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 21. toukokuuta 2014
ISBN13 9783319073163
Tuottaja Springer International Publishing AG
Sivujen määrä 343
Mitta 155 × 235 × 19 mm   ·   494 g
Kieli French  
Toimittaja Bernardo, Marco
Toimittaja Damiani, Ferruccio
Toimittaja Haehnle, Reiner
Toimittaja Johnsen, Einar Broch
Toimittaja Schaefer, Ina

Näytä kaikki

Lisää tuotteita Marco Bernardo