Logic and specification extending VDM-SL for advanced formal specification

Saved in:

Bibliographic Details
Main Author:	Middeiburg, Cornelis A
Format:	Unknown
Published:	London Chapman & Hall 1993
Edition:	1st English language ed
Series:	Computer science Research and Practice .1
Subjects:	Programming languages (Electronic computers) > Semantics Logic, Symbolic and mathematical Software engineering
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet