Proof in VDM a practitioner's guide

Saved in:

Bibliographic Details
Other Authors:	Bicarregui, Juan C 1962 Juan Carlos
Format:	Book
Published:	London New York Springer-Verlag 1994
Series:	Formal approaches to computing and information technology
Subjects:	System design Computer software > Development Automatic theorem proving
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet