Code: 10779399
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 behavio ... more
219.40 €
Availability:
50/50Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.
You get 550 loyalty points
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.
Book category Books in English Technology, engineering, agriculture Electronics & communications engineering Electronics engineering
219.40 €
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
Shopping cart ( Empty )