Connectez-vous pour ajouter ce livre à votre bibliothèque.
Kevin Lano
The B language and method : a guide to practical formal development
Springer (London) · 1996 · 9783540760337
