<図書>

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)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1493 2012750069

保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer
出版年 c1998
大きさ xv, 415 p.: ill. ; 24 cm
一般注記 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
本文言語 英語
書誌ID 2000787000
ISBN 3540650709
NCID BA37971066 WCLINK

類似資料

  1. 1 ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)
  2. 2 ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / Jonathan P. Bowen, Michael G. Hinchey (eds.)
  3. 3 ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings / Jonathan P. Bowen ... [et al.] (eds.)
  4. 4 ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April13-15, 2005 : proceedings / Helen Treharne ... [et al.] (eds.)
  5. 5 ZB 2002 : Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings / Didier Bert ... [et al.] (eds.)
  6. 6 ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings / Didier Bert ... [et al.] (eds.)
  7. 7 Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies
  8. 8 Z : an introduction to formal methods / Antoni Diller
  9. 9 Z User Workshop, Cambridge, 1994 : proceedings of the Eighth Z User Meeting, Cambridge, 29-30 June 1994 / J.P. Bowen and J.A. Hall, (eds.)
  10. 10 The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial ... [et al.]

検索結果一覧に戻る ページトップ