Mohlo by se vám také líbit

Více informací o knize Formal Techniques for Networked and Distributed Systems - FORTE 2007

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 118 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer networking & communications

• Plný název: Formal Techniques for Networked and Distributed Systems - FORTE 2007
• Podnázev: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
• Autor: John Derrick, Jüri Vain
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 378
• EAN: 9783540731955
• ISBN: 3540731954
• ID: 01568748
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 599 g
• Rozměry: 235 × 155 × 23 mm
• Datum vydání: 12. June 2007

Oblíbené z jiného soudku

---

---

---