Número de Cutter-SanbornB786tEntrada «Bowe» → 786 · marca de obra “t”

Towards Verified Systems

Name: Towards Verified Systems
ISBN: 9781483291529

Autor	J. Bowen
Editorial	Elsevier Science & Technology Books
Fecha de publicación	2013
Idioma	inglés
ISBN-13	9781483291529
Número de Cutter	`B786t`

Towards Verified Systems (2013) — ISBN 9781483291529 | Cutter Number