Logic and specification : extending VDM-SL for advanced formal specification /

Bibliographic Details
Main Author:	Middelburg, Cornelis A.
Format:	Book
Language:	English
Published:	London ; New York : Chapman & Hall, 1993.
Edition:	1st ed.
Series:	Computer science, research and practice ; 1.
Subjects:	Programming languages (Electronic computers) > Semantics. Software engineering. Logic, Symbolic and mathematical.

Remote Storage