John W. McCormick
2 published titles
Building parallel, embedded, and real-time applications with Ada
1 edition
- ISBN: 9780521197168
- Cambridge University Press
- 2011
- Details
Building high integrity applications with SPARK
1 edition
- ISBN: 9781107656840
- Cambridge University Press
- 2015
- Details
