Produktbild
John (Hrsg.) Derrick

Formal Techniques for Networked and Distributed Systems - FORTE 2007

27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

Ebook (PDF Format)

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.

CHF 94.50

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Vain, Jüri (Hrsg.)
  • ISBN: 978-3-540-73196-2
  • EAN: 9783540731962
  • Produktnummer: 33313410
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2007
  • Seitenangabe: 378 S.
  • Plattform: PDF
  • Masse: 6'816 KB
  • Auflage: 2007
  • Abbildungen: Bibliographie
  • Reihenbandnummer: 4574

11 weitere Werke von John (Hrsg.) Derrick:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.