Gerard J. Holzmann
Biographie de Gerard J. Holzmann
is the principal designer of the SPIN system. Formerly Directory of Computing Principles Research at Bell Laboratories in Murray Hill, N.J., he recently joined NASA's Jet Propulsion Laboratory in Pasadena, CA, to help set up a new Laboratory for Reliable Software. Holzmann's earlier books include Design and Validation of Computer Protocols (Prentice Hall), and The Early History of Data Networks (IEEE CS Press).
Livres de Gerard J. Holzmann
Auteur : Gerard J. Holzmann
Éditeur : Addison Wesley
Date de parution : 20/10/2003
Indisponible
