このページのリンク

Logic and specification : extending VDM-SL for advanced formal specification / Cornelis A. Middelburg.
(Computer science)
(Computer science (Chapman & Hall))

データ種別 図書
1st ed.
出版者 London : Chapman & Hall
出版者 New York
出版年 1993.
本文言語 英語
大きさ xi, 404 p. ; 24 cm.
目次/あらすじ

所蔵情報を非表示


ASRS 007.64/Mi14kz 04348593
0412486806

書誌詳細を非表示

一般注記 Includes index.
Bibliography: p. [391]-395.
著者標目 Middelburg, Cornelis A.
件 名 Programming languages (Electronic computers)--Semantics
Software engineering
Logic, Symbolic and mathematical
分 類 NDC:007.64
書誌ID 1000178033
ISBN 0412486806
NCID BA20038178 WCLINK

 類似資料