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

Viac informácií o knihe FM 99 - Formal Methods

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

Nákupom získate 345 bodov

Anotácia knihy

The second of two volumes of proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM '99). Topical sections include program verification, integration of notation and techniques, open information systems, co-design, refinement, safety and avionics.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Systems analysis & design

• Celý názov: FM 99 - Formal Methods
• Podnázov: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings
• Autor: Jeannette M. Wing, Jim Woodcook, Jim Davies
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 960
• EAN: 9783540665885
• ISBN: 9783540665885
• ID: 08908917
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 1419 g
• Rozmery: 234 × 156 × 48 mm
• Dátum vydania: 13. September 1999

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

---

---

---