Número de Cutter-SanbornB626vEntrada «Bj» → 626 · marca de obra “v”

VDM '90. VDM and Z - Formal Methods in Software Development

Name: VDM '90. VDM and Z - Formal Methods in Software Development
ISBN: 9783662186312

Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

Autor	Dines Bjørner, C.A.R. Hoare, Hans Langmaack
Editorial	Springer
Fecha de publicación	Mar 12, 2014
Páginas	608
Formato	paperback
ISBN-13	9783662186312
ISBN-10	3662186314
Número de Cutter	`B626v`

VDM '90. VDM and Z - Formal Methods in Software Development (2014) — ISBN 9783662186312 | Cutter Number