<図書>

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.)

(Lecture notes in computer science;1878)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ xiv, 510 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Conference of B and Z Users (1st : 2000 : York, UK)
Bowen, J. P. (Jonathan Peter), 1956-
件 名 LCSH:B (Computer program language) -- Congresses
LCSH:Z (Computer program language) -- Congresses
分 類 LCC:QA76.73.B155
本文言語 英語
書誌ID 2001207436
ISBN 3540679448
NCID BA48129156 WCLINK

類似資料

  1. 1 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.)
  2. 2 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.)
  3. 3 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.)
  4. 4 Program development by refinement : case studies using the B method / E. Sekerinski and K. Sere (eds.)
  5. 5 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.)
  6. 6 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.)
  7. 7 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.)
  8. 8 Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies
  9. 9 Z : an introduction to formal methods / Antoni Diller
  10. 10 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.)

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