Showing 1 - 3 of 3 Results
1.
Formal Methods in Systems Engineering: Proceedings of the 2nd Formal Methods Workshop, Held ... by Ryan, P., Sennett, Christ ISBN: 9780387197517 List Price: $59.95
2.
High-Integrity Software by Sennett, Christ ISBN: 9780273030003
3.
High-Integrity Software by Sennett, Christ ISBN: 9780273031581