- 0 Results
Lowest price: € 66.90, highest price: € 101.41, average price: € 80.76
1
Formal Methods for Open Object-Based Distributed Systems  9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings  Marcello M. Bonsangue  Taschenbuch - Bonsangue, Marcello M.
Order
at booklooker.de
€ 66.90
Shipment: € 0.00
Order
Bonsangue, Marcello M.:

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Marcello M. Bonsangue Taschenbuch - Paperback

2007, ISBN: 9783540729198

[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distribute… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

preigu
2
Formal Methods for Open Object-Based Distributed Systems  9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings  Marcello M. Bonsangue  Taschenbuch - Bonsangue, Marcello M.
Order
at booklooker.de
€ 69.90
Shipment: € 0.00
Order

Bonsangue, Marcello M.:

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Marcello M. Bonsangue Taschenbuch - Paperback

2007, ISBN: 9783540729198

[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distribute… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

Buchbär
3
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, J
Order
at Indigo.ca
C$ 154.95
(aprox. € 101.41)
Order
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, J - new book

2007

ISBN: 9783540729198

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cy… More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs

Paid advertisement
4
Formal Methods for Open Object-Based Distributed Systems
Order
at Thalia.de
€ 79.99
Shipment: € 0.00
Order
Formal Methods for Open Object-Based Distributed Systems - Paperback

2007, ISBN: 9783540729198

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cy… More...

Nr. 14745096. Shipping costs:, Sofort lieferbar, DE. (EUR 0.00)

5
Formal Methods for Open Object-Based Distributed Systems - Marcello M. Bonsangue; Einar Broch Johnsen
Order
at lehmanns.de
€ 85.59
Shipment: € 0.00
Order
Marcello M. Bonsangue; Einar Broch Johnsen:
Formal Methods for Open Object-Based Distributed Systems - Paperback

2007, ISBN: 9783540729198

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, Softcover, Buch, [PU: Springer Berlin]

Shipping costs:sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)


Details of the book
Formal Methods for Open Object-Based Distributed Systems

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007.The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

Details of the book - Formal Methods for Open Object-Based Distributed Systems


EAN (ISBN-13): 9783540729198
ISBN (ISBN-10): 3540729194
Hardcover
Paperback
Publishing year: 2007
Publisher: Springer Berlin
317 Pages
Weight: 0,503 kg
Language: eng/Englisch

Book in our database since 2007-10-18T07:13:25+01:00 (London)
Detail page last modified on 2020-08-27T23:22:00+01:00 (London)
ISBN/EAN: 9783540729198

ISBN - alternate spelling:
3-540-72919-4, 978-3-540-72919-8


< to archive...