Nu se pretează? Nu contează! La noi puteți returna bunurile în 30 de zile
Cu un voucher cadou nu veți da greș. În schimbul voucherului, destinatarul își poate alege orice din oferta noastră.
30 de zile pentru retur bunuri
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.