3 treff

Ord i tittel: b98
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
Bok Engelsk 1998 · Vis mer
Vis flere utgaver
Vis flere utgaver
B’98: Recent Advances in the Development and Use of the B Method
International B Conference
Bok Engelsk · Vis mer