Gå direkt till innehållet
FM 2015: Formal Methods
Spara

FM 2015: Formal Methods

Lägsta pris på PriceRunner
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.
Undertitel
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Upplaga
2015 ed.
ISBN
9783319192482
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2015-06-02
Sidor
610