Número de Cutter-SanbornS528vEntrada «Shal» → 528 · marca de obra “v”

Verified Software : Theories, Tools, Experiments

Name: Verified Software : Theories, Tools, Experiments
ISBN: 9783540878735

Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Autor	Natarajan Shankar, Jim Woodcock
Editorial	Springer London, Limited
Fecha de publicación	2008
Idioma	inglés
ISBN-13	9783540878735
Número de Cutter	`S528v`

Verified Software : Theories, Tools, Experiments (2008) — ISBN 9783540878735 | Cutter Number