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.)
Bok Engelsk International B Conference
Utgitt | Springer Berlin Heidelberg
|
---|---|
Emner | |
Dewey |
B'98 : recent advances in the development and use of the B method : Second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
International B Conference
Didier Bert (ed.)
Bok · Engelsk · 1998
International B Conference
Didier Bert (ed.)
Bok · Engelsk · 1998