B'98 : recent advances in the development and use of the B method / Second International B Conference...; ed. Didier Bert
Corporate Author (Main)
International B Conference, 2, Montpellier, 1998
Secondary Author
Bert, Didier
Country
Alemanha.
Publication
Berlin : Springer, cop. 1998
Description
VIII, 311 p. ;
24 cm
Series
Lecture notes in computer science , 1393)
ISBN
3-540-64405-9
CDU
681.3.06
There are no comments for this item.