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	B method (Computer science) - Congresses. Debugging in computer science - Congresses.
Dewey	005.1/4