Logic and specification extending VDM-SL for advanced formal specification

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Middelburg, Cornelis A.
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	London Chapman & Hall c1993.
বিষয়গুলি:	Logic, Symbolic and mathematical. Software engineering.