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

Viac informácií o knihe Integrated Formal Methods

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

Nákupom získate 175 bodov

Anotácia knihy

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004.The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

• Celý názov: Integrated Formal Methods
• Podnázov: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings
• Autor: Eerke A. Boiten, John Derrick, Graeme Smith
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 548
• EAN: 9783540213772
• ISBN: 3540213775
• ID: 01559229
• Nakladateľ: Springer, Berlin
• Hmotnosť: 820 g
• Rozmery: 234 × 156 × 28 mm
• Rok vydania: 2004

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

---

---

---