Mohlo by sa vám tiež páčiť

Viac informácií o knihe Formal Techniques for Networked and Distributed Systems - FORTE 2007

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 125 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer networking & communications

• Celý názov: Formal Techniques for Networked and Distributed Systems - FORTE 2007
• Podnázov: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
• Autor: John Derrick, Jüri Vain
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 378
• EAN: 9783540731955
• ISBN: 3540731954
• ID: 01568748
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 599 g
• Rozmery: 235 × 155 × 23 mm
• Dátum vydania: 12. June 2007

Obľúbené z iného súdka

---

---

---