Research Catalog

B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings

Title: B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings / Didier Bert (ed.)
Author: International B Conference (2nd : 1998 : Montpellier, France)
Publication: Berlin ; New York : Springer, c1998.

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?	Book/Text	Request in advance	JSE 98-776	Offsite

Details

Additional Authors

Bert, Didier.

Description

viii, 311 p.; 24 cm.

Alternative Title

Recent advances in the development and use of the B method

Subject

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 98-776

ISBN

3540644059 (pbk. : alk. paper)

LCCN

98018094

OCLC

38964108

Conference

International B Conference (2nd : 1998 : Montpellier, France)

Title

B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings / Didier Bert (ed.)

Imprint

Berlin ; New York : Springer, c1998.

Bibliography

Includes bibliographical references and index.

Added Author

Bert, Didier.

Research Call Number

JSE 98-776

View in Legacy Catalog