Building high integrity applications with SPARK /

Bibliographic Details

Main Authors:	McCormick, John W., 1948- (Author), Chapin, Peter C. (Author)
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, [2015]
Subjects:	SPARK (Computer program language) Fault-tolerant computing.