Del 13182
Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner, Thomas Wies
Häftad
1 259 kr
Del 10712 - Lecture Notes in Computer Science
Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Häftad, Engelska, 2017
729 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions.
Produktinformation
- Utgivningsdatum2017-12-15
- Mått155 x 235 x 13 mm
- Vikt353 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor211
- Upplaga17001
- FörlagSpringer International Publishing AG
- ISBN9783319723075
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 14067
Del 13990
Automated Verification of Concurrent Search Structures
Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies
Häftad
779 kr
On the Pursuit of Insight and Elegance
Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies
Häftad
729 kr
- Nyhet
- Nyhet
- Nyhet
Del 4