Toggle Main Menu Toggle Search

Open Access padlockePrints

Proof in VDM: A Practitioner's Guide

Lookup NU author(s): Professor John Fitzgerald

Downloads

Full text is not currently available for this publication.


Publication metadata

Author(s): Bicarregui JC, Fitzgerald JS, Lindsay PA, Moore R, Ritchie B

Publication type: Authored Book

Publication status: Published

Series Title: Formal Approaches to Computing and Information Technology (FACIT)

Year: 1994

Number of Pages: 362

Publisher: Springer

Place Published: London

Library holdings: Search Newcastle University Library for this item

ISBN: 9783540198130


Share