High integrity Ada:the SPARK approach
Barnes, John
High integrity Ada:the SPARK approach John Barnes - Harlow Addison-Wesley 1997 - xvi, 368p. : ill. 24cm. + 1 computer laser optical dics (4 3/4in.)
include index
0201175177
Ada (Computer program language)
High integrity Ada:the SPARK approach John Barnes - Harlow Addison-Wesley 1997 - xvi, 368p. : ill. 24cm. + 1 computer laser optical dics (4 3/4in.)
include index
0201175177
Ada (Computer program language)