Enlarge

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

Publication Data

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
Contributor Didier Bert
Publisher Springer
Publication date 1998
Publication location Berlin
Language English

Topics

B method (Computer science) :: Congresses
Debugging in computer science :: Congresses

Catalogue Data

OBNB ID GB9835642
ISBN 10 3540644059
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 viii,311p.
P1042 Includes bibliographies and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings. ISBN 3540644059. Published by Springer in 1998. Publication and catalogue information, links to buy online and reader comments.