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

Viac informácií o knihe Applied Formal Methods - FM-Trends 98

• 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 thoroughly refereed post-workshop proceedings of the International Workshopon Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998.The book presents two invited papers, 14 regular papers, three application papers, and eight tool presentations. All these papers were carefully reviewed and revised for inclusion in the book. The papers address all current issues in applying formal methods during the different design stages of software systems for use in various application fields.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

• Celý názov: Applied Formal Methods - FM-Trends 98
• Podnázov: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany. October 7-9, 1998. Proceedings
• Autor: Dieter Hutter, Werner Stephan, Paolo Traverso
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 384
• EAN: 9783540664628
• ISBN: 3540664629
• ID: 01567090
• Nakladateľ: Springer, Berlin
• Hmotnosť: 564 g
• Rozmery: 234 × 156 × 20 mm
• Rok vydania: 1999

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

---

---

---