Illustration

Biographie et livres de John W. McCormick

Découvrez tout l'univers de l'auteur en livre numérique
John McCormick is a Professor of Computer Science at the University of Northern Iowa. He began his career at the State University of New York in 1979. He has served as secretary, treasurer and chair of the Association for Computer Machinery Special Interest Group on Ada. In 1993 John was awarded the Chancellor's Award for Excellence in Teaching. He received the Special Interest Group on Ada Distinguished Service Award in 2002, as well as the Outstanding Ada Community Contributions Award in 2008. His additional awards include the Special Interest Group on Ada Best Paper and Presentation Award, and the Ada Europe Best Presentation Award.
Découvrez tous ses livres

Dernière parution

Téléchargez le livre :  Building High Integrity Applications with SPARK
Ajouter à ma liste d'envies
Building High Integrity Applications with SPARK

Peter C. Chapin , John W. Mccormick


Cambridge University Press

2015-08-31

PDF, ePub

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and...

62,79

Lire plus

Tous les ebooks de John W. McCormick en PDF et EPUB


 

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés