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. : 15th international Z user meeting : 6th international conference on the B method : workshop on refinement (REFINE 2005) : ZB 2005 meeting : Apr 2005, Guildford, UK. (Lecture Notes in Computer Science ; 3455)

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. : 15th international Z user meeting : 6th international conference on the B method : workshop on refinement (REFINE 2005) : ZB 2005 meeting : Apr 2005, Guildford, UK.

(Lecture Notes in Computer Science ; 3455)

Call No. (NDL): M17-05-1678
Bibliographic ID of National Diet Library: 000007843584

Material type: 図書

Author: University of Surrey. Department of Computing.

Publisher: Springer

Publication date: c2005.

Material Format: Paper

Capacity, size, etc.: xv, 491 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers and discussions.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 3540255591
9783540255598 (ISBN-13)
ISSN (series): 0302-9743
Title: 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. : 15th international Z user meeting : 6th international conference on the B method : workshop on refinement (REFINE 2005) : ZB 2005 meeting : Apr 2005, Guildford, UK.
Series Title: Lecture Notes in Computer Science ; 3455
Author Heading: University of Surrey. Department of Computing.
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2005.
Publication Date (W3CDTF): 2005
Extent: xv, 491 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
NDLC: M17
Note (General): Papers and discussions.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-05-1678
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007843584
http://id.ndl.go.jp/bib/000007843584
Bibliographic Record Category (NDL): 215