Gary T Leavens
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - Programming and Software Engineering Gary T Leavens

¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - Programming and Software Engineering

Gary T Leavens

Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more.

217 pages, 68 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	5 de agosto de 2010
ISBN13	9783642150562
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	217
Dimensiones	155 × 231 × 13 mm · 385 g
Lengua	Francés
Editor	Leavens, Gary T.
Editor	O'Hearn, Peter
Editor	Rajamani, Sriram K