Formal Mechanization of Device Interactions with a Process Algebra
Auteur : E. Thomas Schubert
Date de publication : 1992
Éditeur : National Aeronautics and Space Administration, Langley Research Center
Nombre de pages : 58
Résumé du livre
Aucun résumé disponible pour ce livre.