Von dem Buch Formal Methods for Open Object-Based Distributed Systems haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Marcello M. Bonsangue: Formal Methods for Open Object-Based Distributed Systems (ISBN: 9783540729525) 2007, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
85%: Sous la direction de: Marcello M. Bonsangue, Sous la direction de: Einar Broch Johnsen: Formal Methods for Open Object-Based Distributed Systems (ISBN: 9783540729198) 2007, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Formal Methods for Open Object-Based Distributed Systems
14 Angebote vergleichen
| Preise | Dez. 16 | Jan. 19 | Sep. 19 |
|---|---|---|---|
| Schnitt | € 70,89 | € 79,15 | € 78,15 |
| Nachfrage |
1
Symbolbild
Formal Methods for Open Object-based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Paperback) (2007)
DE PB NWISBN: 9783540729198 bzw. 3540729194, in Deutsch, Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, The Book Depository EURO [60485773], Slough, United Kingdom.
Language: English Brand New Book. 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.
Von Händler/Antiquariat, The Book Depository EURO [60485773], Slough, United Kingdom.
Language: English Brand New Book. 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.
2
Formal Methods for Open Object-Based Distributed Systems (2007)
~EN PB NWISBN: 9783540729198 bzw. 3540729194, vermutlich in Englisch, Springer Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Sofort lieferbar.
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. Taschenbuch, 25.05.2007.
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. Taschenbuch, 25.05.2007.
3
Symbolbild
Formal Methods for Open Object-Based Distributed Systems (2007)
DE PB NWISBN: 9783540729198 bzw. 3540729194, in Deutsch, Springer-Verlag Gmbh Mai 2007, Taschenbuch, neu.
Von Händler/Antiquariat, Rheinberg-Buch [53870650], Bergisch Gladbach, Germany.
Neuware - 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. 317 pp. Englisch.
Neuware - 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. 317 pp. Englisch.
4
Formal Methods for Open Object-Based Distributed Systems
DE PB NWISBN: 9783540729198 bzw. 3540729194, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Carl Hübscher GmbH, [4514147].
Neuware - PThis 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./P PThe 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./P, Taschenbuch.
Carl Hübscher GmbH, [4514147].
Neuware - PThis 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./P PThe 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./P, Taschenbuch.
5
Formal Methods for Open Object-Based Distributed Systems - 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (2007)
DE NW EB DLISBN: 9783540729525 bzw. 3540729526, in Deutsch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
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. Englisch, Ebook.
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. Englisch, Ebook.
6
Formal Methods for Open Object-Based Distributed Systems
DE PB NWISBN: 9783540729198 bzw. 3540729194, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Rheinberg-Buch, [3813847].
Neuware - 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. Taschenbuch.
Rheinberg-Buch, [3813847].
Neuware - 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. Taschenbuch.
7
Formal Methods for Open Object-Based Distributed Systems (2007)
EN NW EB DLISBN: 9783540729525 bzw. 3540729526, in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
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.
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.
8
Formal Methods for Open Object-Based Distributed Systems (2007)
DE PB NWISBN: 9783540729525 bzw. 3540729526, in Deutsch, Springer Berlin Heidelberg, Taschenbuch, neu.
Formal Methods for Open Object-Based Distributed Systems ab 83.49 € als pdf eBook: 9th IFIP WG 6. 1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,.
9
Formal Methods for Open Object-Based Distributed Systems (2007)
DE NW EB DLISBN: 9783540729525 bzw. 3540729526, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Formal Methods for Open Object-Based Distributed Systems
DE NW EB DLISBN: 9783540729525 bzw. 3540729526, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…