English
Beginner
Logic and specification: extending VDM-SL for advanced formal specification
Cornelis A. Middelburg
1993
مشاهدهٔ کتاب
کشف منابع
Cornelis A. Middelburg
Calderin, Jay;Volpintesta, Laura
Donald C. Gause,Gerald M. Weinberg
Suzanne Robertson;James Robertson