1.
Formal Methods for Real-Time Computing
by Heitmeyer, Constance
ISBN: 9780471958352
List Price: $75.00
OUT OF STOCK
See Availability on Amazon2.
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