Mohlo by se vám také líbit

Více informací o knize Integrated Formal Methods

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

Nákupem získáte 118 bodů

Anotace knihy

This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000.The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

• Plný název: Integrated Formal Methods
• Podnázev: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
• Autor: Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 446
• EAN: 9783540411963
• ISBN: 3540411968
• ID: 01563119
• Nakladatelství: Springer, Berlin
• Hmotnost: 700 g
• Rozměry: 235 × 155 × 23 mm
• Rok vydání: 2000

Oblíbené z jiného soudku

---

---

---