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 | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

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

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

xiii, 545 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2651 <BA00009279>

著者名:

ISBN:

9783540402534 [3540402535]

書誌ID:

BA62309544

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index Other editors: Jonathan P. Bowen, Steve King, Marina Waldén
主題:	B (Computer program language)--Congresses; Z (Computer program language)--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 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 International Conference of B and Z Users, Bert, Didier, Bowen, J. P. (Jonathan Peter), 1956-, Henson, Martin C., … Springer	7 電子ブック ZB 2003: Formal Specification and Development in Z and B International Conference of B and Z Users, Bert, Didier SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 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 International Conference of B and Z Users, Bowen, J. P. (Jonathan Peter), 1956- Springer	8 電子ブック ZB 2000: Formal Specification and Development in Z and B International Conference of B and Z Users, Bowen, Jonathan Peter SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings International Conference of B and Z Users, Treharne, Helen, King, Steve, Henson, Martin C., Schneider, Steve Springer	9 電子ブック ZB 2002:Formal Specification and Development in Z and B Didier Bert SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 図書 ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Hinchey, Michael G. (Michael Gerard), 1969- Springer	10 電子ブック ZB 2005: Formal Specification and Development in Z and B Treharne, Helen, Henson, Martin, Kanade, Takeo, King, Steve, Schneider, Steve Springer eBooks Computer Science, Springer Berlin / Heidelberg
5 図書 ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Fett, Andreas, Hinchey, Michael G. (Michael … Springer	11 電子ブック ZB 2005: Formal Specification and Development in Z and B Treharne, Helen, Henson, Martin, Kanade, Takeo, King, Steve, Schneider, Steve SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
6 図書 ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Hinchey, Michael G. (Michael Gerard), 1969-, … Springer	12 図書 B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998, proceedings International B Conference, Bert, Didier Springer

1

2

3

4

5

6

7

8

9

10

11

12