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

Informovať o naskladnení knihy

Viac informácií o knihe Formal Methods and Models for System Design

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

Nákupom získate 485 bodov

Anotácia knihy

Focuses on: formal frameworks for complex system modelling, such as system-on-chip, embedded software, component based systems; formal verification techniques, especially abstraction and refinement based methodologies; and behavioural type theory for system integration. This book is suitable as a graduate level text for a seminar based course.

Parametre knihy

Zaradenie knihy Knihy po anglicky Technology, engineering, agriculture Electronics & communications engineering Electronics engineering

• Celý názov: Formal Methods and Models for System Design
• Podnázov: A System Level Perspective
• Autor: Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 372
• EAN: 9781402080517
• ISBN: 9781402080517
• ID: 10779399
• Nakladateľ: Springer-Verlag New York Inc.
• Hmotnosť: 797 g
• Rozmery: 240 × 160 × 22 mm
• Dátum vydania: 01. June 2004

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

---

---

---