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: 9783642180699

International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

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

Formal Verification of Object-Oriented Software (2011) — ISBN 9783642180699 | Cutter Number