High Integrity Software (The Springer International Series in Engineering and Computer Science)
by:
Victor L. Winter · Sourav Bhattacharya
Hardcover
details (
United States
).
ISBN: 978-0-7923-7949-2
ISBN-10: 0-7923-7949-7
Springer
· 2001
