Verified Software: Theories, Tools, Experiments
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Fast track conference proceeding Unique visibility State of the art research
Autor*in
Gary T. Leavens
Themen in »Verified Software: Theories, Tools, Experiments«
Action automated verification evolution kernel verification logic model checker modeling pervas pervasive verificytion verification
Stimmen zu »Verified Software: Theories, Tools, Experiments«
Details
ISBN: 9783642150562
Verlag: Springer Berlin
Erscheinung: 05.08.2010