Overview
Part of the book series: Formal Approaches to Computing and Information Technology (FACIT) (FACIT)
Buy print copy
Tax calculation will be finalised at checkout
About this book
Authors and Affiliations
Bibliographic Information
Book Title: Proof in VDM: A Practitioner’s Guide
Authors: Juan C. Bicarregui, John Fitzgerald, Peter A. Lindsay, Richard Moore, Brian Ritchie
Series Title: Formal Approaches to Computing and Information Technology (FACIT)
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London Limited 1994
Softcover ISBN: 978-3-540-19813-0Published: 01 December 1993
Edition Number: 1
Number of Pages: XVI, 362