Title:
Building high integrity applications with SPARK /
Author:
McCormick, John W.
Contributer:
Chapin, Peter C.
Publisher:
New York, NY :Cambridge University Press,
Year of publication:
2015
Pages:
XIV, 367 S.
ISBN:
978-1-107-04073-1
,
978-1-107-65684-0
Type of Medium:
Book
Language:
English
Permalink