Logic and specification extending VDM-SL for advanced formal specification

Detaylı Bibliyografya
Yazar:	Middelburg, Cornelis A.
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	London Chapman & Hall c1993.
Konular:	Logic, Symbolic and mathematical. Software engineering.