The B-method : an introduction

The B-method : an introduction

Enregistré dans:
Détails bibliographiques
Auteur principal : Schneider Steve (Auteur)
Format : Livre
Langue : anglais
Titre complet : The B-method : an introduction / Steve Schneider
Publié : Basingstoke : Palgrave , cop. 2001
Description matérielle : 1 vol. (XIII-370 p.)
Collection : Cornerstones of computing series editor Richard Bird and Tony Hoare
Sujets :
B (méthode formelle)
Chargement en cours