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 1998 International B Conference
| Annen tittel | |
|---|---|
| Utgitt | Berlin : Springer , c1998
|
| Omfang | VIII, 311 s. : ill.
|
| Emner | |
| ISBN | 3540644059
|
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 · 0
International B Conference
Didier Bert (ed.)
Bok · Engelsk · 0
