Record:   Prev Next
Author 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 1998, proceedings / Didier Bert (ed.)
Imprint Berlin : Springer-Verlag, c1998
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D2.2 B1 1998  LNCS 1393    LIB USE ONLY    30330000126800
Descript viii, 311 p. : ill., charts ; 24 cm
Series Lecture notes in computer science ; 1393
Note Includes bibliographical references and index
Also available online
Subject B-method iisf
Software engineering iis
Alt Author Bert, Didier
Record:   Prev Next