Zobacz książki o podobnej tematyce

Więcej informacji o Formal Methods for Open Object-Based Distributed Systems

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

Za ten zakup dostaniesz 147 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development Programming & scripting languages: general

• Pełny tytuł: Formal Methods for Open Object-Based Distributed Systems
• Podtytuł: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
• Autor: Marcello M. Bonsangue, Einar Broch Johnsen
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 317
• EAN: 9783540729198
• ISBN: 3540729194
• ID: 01568675
• Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Waga: 516 g
• Wymiary: 235 × 155 × 20 mm
• Data wydania: 25. May 2007

Ulubione w innej kategorii

---

---

---