Theory and Applications of Satisfiability Testing -- SAT 2012
Alessandro Cimatti, Roberto Sebastiani
Häftad
689 kr
Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Häftad, Engelska, 2017
709 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 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions.
Produktinformation
- Utgivningsdatum2017-08-15
- Mått155 x 235 x 24 mm
- Vikt651 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor410
- FörlagSpringer International Publishing AG
- ISBN9783319661964
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 14290
Del 9392
Del 10522
Del 13271
Coordination Models and Languages
Maurice H. ter Beek, Marjan Sirjani, Maurice H. Ter Beek
Häftad
1 709 kr
Del 12857
Software Architecture
Stefan Biffl, Elena Navarro, Welf Löwe, Marjan Sirjani, Raffaela Mirandola, Danny Weyns, Welf Lowe
Häftad
1 199 kr