Formal Techniques for Networked and Distributed Systems - FORTE 2007
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
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 114.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V301:
Libri-Titel folgt in ca. 2 Arbeitstagen
Produktdetails
Weitere Autoren: Vain, Jüri (Hrsg.)
- ISBN: 978-3-540-73195-5
- EAN: 9783540731955
- Produktnummer: 3054428
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2007
- Seitenangabe: 375 S.
- Masse: H23.5 cm x B15.5 cm x D2.1 cm 593 g
- Reihenbandnummer: 4574
- Gewicht: 593
11 weitere Werke von John (Hrsg.) Derrick:
Integrated Formal Methods
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Ebook (PDF Format)
CHF 80.00
Integrated Formal Methods
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Ebook (PDF Format)
CHF 133.50
Bewertungen
Anmelden