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
729 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. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
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
Perspectives of System Informatics
Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Häftad, 2019
729 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Nikolaj Bjørner, Andrei Voronkov
Häftad, 2012
729 kr
Del 14360
Active Object Languages: Current Research Trends
Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
Häftad, 2024
1 089 kr
Del 54
Concurrency Verification
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Inbunden, 2001
4 059 kr
Del 54
Concurrency Verification
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Häftad, 2012
1 429 kr