Zobacz książki o podobnej tematyce

Więcej informacji o Formal Techniques for Networked and Distributed Systems - FORTE 2007

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 147 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer networking & communications

• Pełny tytuł: Formal Techniques for Networked and Distributed Systems - FORTE 2007
• Podtytuł: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
• Autor: John Derrick, Jüri Vain
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 378
• EAN: 9783540731955
• ISBN: 3540731954
• ID: 01568748
• Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Waga: 599 g
• Wymiary: 235 × 155 × 23 mm
• Data wydania: 12. June 2007

Ulubione w innej kategorii

---

---

---