Research Catalog

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

Title: 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.).
Author: International Conference of B and Z Users (3rd : 2003 : Turku, Finland)
Publication: Berlin ; New York : Springer, c2003.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 03-1501	Offsite

Details

Additional Authors

Bert, Didier.

Description

xiii, 545 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 2651

Subject

Bibliography (note)

Includes bibliographical references and index.

Additional Formats (note)

Also available via the World Wide Web.

Call Number

JSE 03-1501

ISBN

3540402535 (softcover : alk. paper)

LCCN

2003052988

OCLC

52295208

Conference

International Conference of B and Z Users (3rd : 2003 : Turku, Finland)

Title

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

Imprint

Berlin ; New York : Springer, c2003.

Series

Lecture notes in computer science, 0302-9743 ; 2651

Bibliography

Includes bibliographical references and index.

Additional Formats

Also available via the World Wide Web.

Added Author

Bert, Didier.

Research Call Number

JSE 03-1501

View in Legacy Catalog