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

Formal Verification of Object-Oriented Software

Name: Formal Verification of Object-Oriented Software
ISBN: 9783642317620

International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Autor	Bernhard Beckert
Editorial	Springer Berlin Heidelberg, Imprint: Springer
Fecha de publicación	2012
Lugar	Berlin, Heidelberg
Idioma	inglés
Formato	[electronic resource] :
ISBN-13	9783642317620
Serie	Lecture Notes in Computer Science -- 7421
Número de Cutter	`B396f`

Formal Verification of Object-Oriented Software (2012) — ISBN 9783642317620 | Cutter Number