|
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Formal Specification Level - Concepts, Methods, and Algorithms (Hardcover, 2015 ed.)
Loot Price: R3,352
Discovery Miles 33 520
You Save: R295
(8%)
|
|
|
Formal Specification Level - Concepts, Methods, and Algorithms (Hardcover, 2015 ed.)
Expected to ship within 12 - 17 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
