FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Programming and Software Engineering - Nikolaj Bjorner - Kirjat - Springer International Publishing AG - 9783319192482 - tiistai 2. kesäkuuta 2015
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Nikolaj Bjorner
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Programming and Software Engineering 2015 edition

Hinta
zł 222,90

Tilattu etävarastosta

Arvioitu toimitus ti - ke 9. - 17. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.

610 pages, 156 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 2. kesäkuuta 2015
ISBN13 9783319192482
Tuottaja Springer International Publishing AG
Sivujen määrä 610
Mitta 155 × 235 × 32 mm   ·   9,36 kg
Kieli Ranska  
Toimittaja Bjørner, Nikolaj
Toimittaja De Boer, Frank
Näytä kaikki

Lisää tuotteita Nikolaj Bjorner

Katso kaikki joka sisältää Nikolaj Bjorner ( Esim. Paperback Book )