Mohlo by se vám také líbit

Více informací o knize Web Services and Formal Methods

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

Nákupem získáte 118 bodů

Anotace knihy

This proceedings volume of the 4th International Workshop on Web Services and Formal Methods covers the application of formal methods and reasoning techniques to Web service technology and formal theories inspired by developments in Web services.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Digital lifestyle Internet guides & online services

• Plný název: Web Services and Formal Methods
• Podnázev: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings
• Autor: Marlon Dumas, Reiko Heckel
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 172
• EAN: 9783540792291
• ISBN: 3540792295
• ID: 01570177
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 292 g
• Rozměry: 235 × 155 × 12 mm
• Datum vydání: 11. April 2008

Oblíbené z jiného soudku

---

---

---