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

StatusFormatAccessCall NumberItem Location
Book/TextRequest in advance JSE 98-776Offsite

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
  • B method (Computer science) > Congresses
  • Debugging in computer science > Congresses
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