Número de Cutter-SanbornB396vEntrada «Becker, P.» → 396 · marca de obra “v”

Verification of Object-Oriented Software. the KeY Approach

Name: Verification of Object-Oriented Software. the KeY Approach
ISBN: 9783540690610

Foreword by K. Rustan M. Leino

Autor	Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Editorial	Springer London, Limited
Fecha de publicación	2007
Idioma	inglés
ISBN-13	9783540690610
Número de Cutter	`B396v`

Verification of Object-Oriented Software. the KeY Approach (2007) — ISBN 9783540690610 | Cutter Number