Mohlo by se vám také líbit

Více informací o knize FM 99 - Formal Methods

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 265 bodů

Anotace 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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Systems analysis & design

• Plný název: FM 99 - Formal Methods
• Podnázev: 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
• Vazba: Brožovaná
• Počet stran: 960
• EAN: 9783540665885
• ISBN: 9783540665885
• ID: 08908917
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 1419 g
• Rozměry: 234 × 156 × 48 mm
• Datum vydání: 13. September 1999

Oblíbené z jiného soudku

---

---

---