Building High Integrity Applications with SPARK
Cambridge University Press, 2015. 1st printing. Paperback. 8vo. Very good. Item #70637
ISBN: 9781107656840
367pp. Text unmarked on white pages. Binding square and uncreased. Glossy covers are clean with minimal shelf wear.
Price: $40.00
See all items in
TECHNOLOGY
See all items by John W. McCormick, Peter C. Chapin