John Derrick – författare
2 198 kr
Skickas inom 10-15 vardagar
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
681 kr
Skickas inom 7-10 vardagar
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
1 922 kr
Skickas inom 7-10 vardagar
1 103 kr
Skickas inom 10-15 vardagar
1 103 kr
Skickas inom 10-15 vardagar
555 kr
Skickas inom 10-15 vardagar
555 kr
Skickas inom 10-15 vardagar
Integrated Formal Methods
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
555 kr
Skickas inom 10-15 vardagar
Formal Techniques for Networked and Distributed Systems - FORTE 2007
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
555 kr
Skickas inom 10-15 vardagar
Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
555 kr
Skickas inom 10-15 vardagar
Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
539 kr
Skickas inom 10-15 vardagar