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
2.
Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, ...
by ter Beek, Maurice H., Ni...
ISBN: 9783030582975
3.
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Works...
by Ter Beek, Maurice H., Gnesi...
ISBN: 9783319459424
List Price: $72.00
4.
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Inte...
by ter Beek, Maurice H.
ISBN: 9781450348119
List Price: $99.00
OUT OF STOCK
See Availability on Amazon5.
Web Services and Formal Methods
by Ter Beek, Maurice H., Lohma...
ISBN: 9783642382314
List Price: $24.99
OUT OF STOCK
See Availability on Amazon6.
Coordination Models and Languages : 24th IFIP WG 6. 1 International Conference, COORDINATION...
by ter Beek, Maurice H., Sirja...
ISBN: 9783031081422
OUT OF STOCK
See Availability on Amazon7.
Coordination Models and Languages : 24th IFIP WG 6. 1 International Conference, COORDINATION...
by ter Beek, Maurice H., Sirja...
ISBN: 9783031081453
8.
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, Ju...
by ter Beek, Maurice H., Monah...
ISBN: 9783031077265