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

Viac informácií o knihe Formal Methods for Open Object-Based Distributed Systems

• 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 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007.§The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Programming & scripting languages: general

• Celý názov: Formal Methods for Open Object-Based Distributed Systems
• Podnázov: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
• Autor: Marcello M. Bonsangue, Einar Broch Johnsen
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 317
• EAN: 9783540729198
• ISBN: 3540729194
• ID: 01568675
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 516 g
• Rozmery: 235 × 155 × 20 mm
• Dátum vydania: 25. May 2007

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

---

---

---