Formal Specification Level: Concepts, Methods, and Algorithms - Mathias Soeken - Books - Springer International Publishing AG - 9783319378824 - August 23, 2016
In case cover and title do not match, the title is correct

Mathias Soeken
Formal Specification Level: Concepts, Methods, and Algorithms Softcover reprint of the original 1st ed. 2015 edition

Price
$ 108.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 19 - 29, 2026

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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

146 pages, 87 black & white illustrations, 6 black & white tables, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 23, 2016
ISBN13 9783319378824
Publishers Springer International Publishing AG
Pages 138
Dimensions 155 × 235 × 8 mm   ·   217 g
Language German  

See all of Mathias Soeken ( e.g. Hardcover Book and Paperback Book )