Logic and specification extending VDM-SL for advanced formal specification

Opis bibliograficzny
1. autor:	Middelburg, Cornelis A.
Format:	Książka
Język:	English
Wydane:	London Chapman & Hall c1993.
Hasła przedmiotowe:	Logic, Symbolic and mathematical. Software engineering.