Some notes on putting formal specifications to productive use
Auteur : John Guttag, Jim Horning, Xerox Corporation. Palo Alto Research Center, Jeannette Wing
Date de publication : 1982
Éditeur : Xerox Corporation, Palo Alto Research Centers
Nombre de pages : 15
Résumé du livre
Aucun résumé disponible pour ce livre.