[email protected]
Ще ви отговорим до 24 часа
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Контакт
Как се пазарува?
Помощ
Доставка
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Безплатна доставка със Еконт над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
[email protected]
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Formal Specification Level
Език
Английски език
Английски език
Книга
С меки корици
This book introduces a new level of abstraction that closes the gap between the textual specificatio...
Цялото описание
Код Либристо: 13633632
?
324 b
324 b
252.84
лв
Външен склад в ограничено количество
Изпращаме след 13-16 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С твърди корици
46.71
лв
/
С твърди корици
68.40
лв
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.§
Информация за книгата
Пълно заглавие
Formal Specification Level
Автор
Mathias Soeken, Rolf Drechsler
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2016
Брой страници
138
Баркод
9783319378824
ISBN
3319378821
Код Либристо
13633632
Издателство
Springer International Publishing AG
Тегло
238
Размери
155 x 235 x 8
