Understanding the Differences Between VDM and Z.
Auteur : I. J. Hayes
Date de publication : 1993
Éditeur : University of Manchester, Department of Computer Science
Nombre de pages : Non disponible
Résumé du livre
Aucun résumé disponible pour ce livre.