Items related to Program Verification Using Ada (Cambridge Computer...

Program Verification Using Ada (Cambridge Computer Science Texts, Series Number 13) - Hardcover

McGettrick

 
9780521242158: Program Verification Using Ada (Cambridge Computer Science Texts, Series Number 13)

This specific ISBN edition is currently not available.

Synopsis

Book by McGettrick

"synopsis" may belong to another edition of this title.