FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science - Nikolaj Bjorner - Bücher - Springer International Publishing AG - 9783319192482 - 2. Juni 2015
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Nikolaj Bjorner
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science 2015 edition

Preis
SFr. 44,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 31. Dez - 8. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 2. Juni 2015
ISBN13 9783319192482
Verlag Springer International Publishing AG
Seitenanzahl 610
Maße 155 × 235 × 32 mm   ·   9,36 kg
Sprache Französisch  
Redakteur Bjørner, Nikolaj
Redakteur De Boer, Frank

Weitere Titel von Nikolaj Bjorner

Alle anzeigen

Alle Titel von Nikolaj Bjorner ansehen ( u. a. Taschenbuch )