Del 9971
Verified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
AvMarsha Chechik,Sandrine Blazy
E-bok
PDF, Engelska, 2016732 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.
The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions.
The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions.
The goal of the VSTTE conference is to advance the
state of the art through the interaction of theory development, tool evolution, and experimental validation.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Interactive Theorem Proving
Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Häftad, 2013
573 kr
Tools and Algorithms for the Construction and Analysis of Systems
Marsha Chechik, Jean-François Raskin
Häftad, 2016
573 kr
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Marsha Chechik, Joost-Pieter Katoen
672 kr
Tools and Algorithms for the Construction and Analysis of Systems
Jean-Francois Raskin, Marsha Chechik
E-bok
2016739 kr
Del 14000