このページのリンク

ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings / Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)
(Lecture notes in computer science ; 1493)

データ種別 図書
出版者 Berlin ; New York : Springer
出版年 c1998
本文言語 英語
大きさ xv, 415 p.: ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.73:Z2:I58:1998
3540650709 002747037

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 International Conference of Z Users (11th : 1998 : Berlin, Germany)
Bowen, J. P. (Jonathan Peter), 1956-
Fett, Andreas
Hinchey, Michael G. (Michael Gerard), 1969-
件 名 LCSH:Z (Computer program language) -- Congresses  全ての件名で検索
巻冊次 ISBN:3540650709 REFWLINK
ISBN 3540650709
NCID BA37971066 WCLINK
目次/あらすじ

 類似資料