Showing 1 - 3 of 3 Results
1.
Formal Methods for Real-Time Computing by Heitmeyer, Constance ISBN: 9780471958352 List Price: $75.00
2.
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016... by Fitzgerald, John, Heitmeyer... ISBN: 9783319489889 List Price: $131.00
3.
Formal Methods for Real-Time Computing by Heitmeyer, Constance, Heitm... ISBN: 9780608220086 List Price: $89.60