Showing 1 - 8 of 8 Results
1.
Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, ... by ter Beek, Maurice H., Lohma... ISBN: 9783642382291 List Price: $72.00
3.
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Works... by Ter Beek, Maurice H., Gnesi... ISBN: 9783319459424 List Price: $72.00
5.
Web Services and Formal Methods by Ter Beek, Maurice H., Lohma... ISBN: 9783642382314 List Price: $24.99