Número de Cutter-SanbornH384sEntrada «Havel» → 384 · marca de obra “s”

SPIN Model Checking and Software Verification

Name: SPIN Model Checking and Software Verification
ISBN: 9783540452973

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Autor	Klaus Havelund, John Penix, Willem Visser
Editorial	Springer London, Limited
Fecha de publicación	2006
Idioma	inglés
ISBN-13	9783540452973
Número de Cutter	`H384s`

SPIN Model Checking and Software Verification (2006) — ISBN 9783540452973 | Cutter Number