Logic and specification extending VDM-SL for advanced formal specification

Podrobná bibliografie
Hlavní autor:	Middelburg, Cornelis A.
Médium:	Kniha
Jazyk:	English
Vydáno:	London Chapman & Hall c1993.
Témata:	Logic, Symbolic and mathematical. Software engineering.