Del 9109
Del 9109 i serien Lecture Notes in Computer Science
FM 2015: Formal Methods
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Häftad, Engelska, 2015
719 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2015-06-02
- Mått155 x 235 x 34 mm
- Vikt937 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor610
- FörlagSpringer International Publishing AG
- ISBN9783319192482
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 11964
Del 14360
Active Object Languages: Current Research Trends
Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
Häftad
1 069 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Nikolaj Bjørner, Andrei Voronkov
Häftad
719 kr
Del 54
Concurrency Verification
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Inbunden
3 979 kr
Del 54
Concurrency Verification
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Häftad
1 329 kr
- Nyhet
Del 4