. .
Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 3540731954 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 4,64 €, größter Preis: 85,59 €, Mittelwert: 65,76 €
Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, - Vain, Juri
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Vain, Juri:
Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, - gebrauchtes Buch

2007, ISBN: 9783540731955

ID: 7974240

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. The 22 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 67 submissions. The papers focus on service oriented computing and architectures using formalized and verified approaches. In addition to the classical protocol specification and verification problems, the issues of composition of protocol functions and of algorithms for distributed systems are addressed. The papers are organized in topical sections on message sequence charts and SDL, concurrency, model programs, theory, verification, model checking, requirements and QoS, as well as components. Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, P Vain, Juri, Springer

gebrauchtes bzw. antiquarisches Buch Betterworldbooks.com
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Techniques for Networked and Distributed Systems - FORTE 2007 - John Derrick
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Derrick:
Formal Techniques for Networked and Distributed Systems - FORTE 2007 - Taschenbuch

2007, ISBN: 9783540731955

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. It covers service oriented computing and architectures using formalized and verified approaches., DE, Neuware, gewerbliches Angebot, FixedPrice, 375, [GW: 600g], offene Rechnung (Vorkasse vorbehalten), PayPal, Banküberweisung

Neues Buch Booklooker.de
Buchhandlung Kühn GmbH
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Techniques for Networked and Distributed Systems - FORTE 2007 - John Derrick
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Derrick:
Formal Techniques for Networked and Distributed Systems - FORTE 2007 - Taschenbuch

1, ISBN: 9783540731955

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. It covers service oriented computing and architectures using formalized and verified approaches., DE, Neuware, gewerbliches Angebot, 239x193x27 mm, 375, [GW: 600g], Banküberweisung, PayPal

Neues Buch Booklooker.de
Carl Hübscher GmbH
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - Derrick, John
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Derrick, John:
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - Taschenbuch

2007, ISBN: 9783540731955

ID: 999490207

New York: Springer. 2007. Reprint. S Paperback. Very Good. WHAR 169, Springer, 2007

gebrauchtes bzw. antiquarisches Buch Biblio.com
Arundel Books of Seattle
Versandkosten: EUR 16.94
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Techniques for Networked and Distributed Systems - FORTE 2007 - John Derrick; Jüri Vain
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Derrick; Jüri Vain:
Formal Techniques for Networked and Distributed Systems - FORTE 2007 - Taschenbuch

2007, ISBN: 9783540731955

ID: 7942717

27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, 2007, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Formal Techniques for Networked and Distributed Systems - FORTE 2007

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. The 22 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 67 submissions. The papers focus on service oriented computing and architectures using formalized and verified approaches. In addition to the classical protocol specification and verification problems, the issues of composition of protocol functions and of algorithms for distributed systems are addressed. The papers are organized in topical sections on message sequence charts and SDL, concurrency, model programs, theory, verification, model checking, requirements and QoS, as well as components.

Detailangaben zum Buch - Formal Techniques for Networked and Distributed Systems - FORTE 2007


EAN (ISBN-13): 9783540731955
ISBN (ISBN-10): 3540731954
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer-Verlag GmbH
375 Seiten
Gewicht: 0,600 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 14.10.2007 15:23:04
Buch zuletzt gefunden am 05.08.2017 12:11:24
ISBN/EAN: 3540731954

ISBN - alternative Schreibweisen:
3-540-73195-4, 978-3-540-73195-5


< zum Archiv...
Benachbarte Bücher