Mohlo by se vám také líbit

Více informací o knize Introduction to the Formal Design of Real-Time Systems

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

Nákupem získáte 154 bodů

Anotace knihy

The design of concurrent and real-time systems is difficult. It is even more difficult to design them correctly. Introduction to the Formal Design of Real Time Systems is based on the premise that in order to design things correctly it is necessary to thoroughly understand the design as it evolves from problem definition through to solution validation and, though the simplest way to maintain such an understanding is from within a formal mathematical framework, this will only be effective if the framework is simple to understand and easy to use. This book is based on courses given to undergraduate and masters students in Electrical Engineering, Information Technology and Computer Science, and backed by copious worked examples.

Parametry knihy

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

• Plný název: Introduction to the Formal Design of Real-Time Systems
• Autor: David Gray
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 461
• EAN: 9783540761402
• ISBN: 3540761403
• ID: 06810117
• Nakladatelství: Springer, Berlin
• Hmotnost: 722 g
• Rozměry: 234 × 156 × 24 mm
• Datum vydání: 01. November 1997

Oblíbené z jiného soudku

---

---

---