Formal Specification Level: Concepts, Methods, and Algorithms

by RolfDrechsler (Contributor), Mathias Soeken (Author)

New
Paperback
2016
$105.81

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).

Synopsis

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).

$105.81

Quantity

10 in stock

More Information

Format: Paperback
Pages: 148
Edition: Softcover reprint of the original 1st ed. 2015
Publisher: Springer
Published: 03 Aug 2016
ISBN 10: 3319378821
ISBN 13: 9783319378824

Formal Specification Level: Concepts, Methods, and Algorithms

New

$105.81

Synopsis

$105.81

More Information