Biblioteca da Universidade do Minho

Your cart is empty.
International B Conference,, 2, B'98 : recent advances in the development and use of the B method / Second International B Conference... ; ed. Didier Bert

B'98 : recent advances in the development and use of the B method / Second International B Conference... ; ed. Didier Bert . - Berlin : Springer, cop. 1998 . - VIII, 311 p. 24 cm . - (Lecture notes in computer science; 1393))
3-540-64405-9 (Brochado)

681.3.06