このページのリンク

Formal program development : IFIP TC2/WG 2.1 state-of-the-art report / Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.).
(Lecture notes in computer science. ; 755)

データ種別 図書
出版者 Berlin : Springer-Verlag
出版者 New York
出版年 c1993.
大きさ 371 p. : ill. ; 24 cm.
目次/あらすじ

所蔵情報を非表示

V.755 ASRS 007.6/L507/v.755 04453790
0387574999

書誌詳細を非表示

一般注記 Includes bibliographical references.
著者標目 Möller, Bernhard,(1953-)
IFIP TC 2/WG 2.1.
Partsch, Helmut A.,(1950-)
Schuman, Steve,(1950-)
件 名 Computer software--Development
Electronic digital computers--Programming
分 類 NDC:007.6
書誌ID 1000186349
ISBN 0387574999
URL1 Publisher HP

 類似資料