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

Viac informácií o knihe Automated Technology for Verification and Analysis

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

Nákupom získate 345 bodov

Anotácia knihy

This book constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004.§The 24 revised full papers presented together with abstracts of 6 invited presentations and 7 special track papers were carefully reviewed and selected from 69 submissions. Among the topics addressed are model-checking theory, theorem-proving theory, state-space reduction techniques, languages in automated verification, parametric analysis, optimization, formal performance analysis, real-time systems, embedded systems, infinite-state systems, Petri nets, UML, synthesis, and tools.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Graphical & digital media applications Computer-aided design (CAD)

• Celý názov: Automated Technology for Verification and Analysis
• Podnázov: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
• Autor: Farn Wang
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 510
• EAN: 9783540236108
• ISBN: 3540236104
• ID: 01559985
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 785 g
• Rozmery: 235 × 155 × 29 mm
• Dátum vydania: 19. October 2004

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

---

---

---