Formal Specification Level

Name: Formal Specification Level
SKU: 25683219
Price: 289.00 NZD
Availability: InStock

Concepts, Methods, and Algorithms

By:

Format:

Paperback / softback

Show Hide Adult Content

$289.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $72.25 with Afterpay Learn more

6 weekly interest-free payments of $48.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 4-14 June using International Courier

Description

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.

Release date NZ

August 23rd, 2016

Author

Audience

Professional & Vocational

Edition

Softcover reprint of the original 1st ed. 2015

Illustrations

87 Illustrations, black and white; VIII, 138 p. 87 illus.

Pages

138

Dimensions

155x235x8

ISBN-13

9783319378824

Product ID

25683219

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here