Description: 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.).

Summary goes here

Enregistré dans:

Détails bibliographiques
Format:	Livre
Langue:	anglais
Sujets:	B method (Computer science) Debugging in computer science Conference papers and proceedings.
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!