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 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.§The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer hardware Network hardware

• Celý názov: Formal Methods for Open Object-Based Distributed Systems
• Podnázov: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
• Autor: Gilles Barthe
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 259
• EAN: 9783540688624
• ISBN: 3540688625
• ID: 01567776
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 427 g
• Rozmery: 235 × 155 × 16 mm
• Dátum vydania: 29. May 2008

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

---

---

---