Formal Specification of Software Using Abstract State Machines
Auteur : Charles Robert Wallace
Date de publication : 1999
Éditeur : University of Michigan
Nombre de pages : 494
Résumé du livre
Aucun résumé disponible pour ce livre.
Auteur : Charles Robert Wallace
Date de publication : 1999
Éditeur : University of Michigan
Nombre de pages : 494
Aucun résumé disponible pour ce livre.