Eppendorf

Formal Specification Level - 9783319086989

Description: Formal Specification Level Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). Concepts, Methods, and Algorithms Author(s): Mathias Soeken, Rolf Drechsler Format: Hardback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319086989, 978-3319086989 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). 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, [url] whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.

Price: 72.97 GBP

Location: Aldershot

End Time: 2024-12-06T09:24:43.000Z

Shipping Cost: 37.51 GBP

Product Images

Formal Specification Level - 9783319086989

Item Specifics

Return postage will be paid by: Buyer

Returns Accepted: Returns Accepted

After receiving the item, your buyer should cancel the purchase within: 60 days

Return policy details:

Book Title: Formal Specification Level

Number of Pages: 138 Pages

Language: English

Publication Name: Formal Specification Level: Concepts, Methods, and Algorithms

Publisher: Springer International Publishing A&G

Publication Year: 2014

Subject: Computer Science, Physics

Item Height: 235 mm

Item Weight: 3495 g

Type: Textbook

Author: Rolf Drechsler, Mathias Soeken

Item Width: 155 mm

Format: Hardcover

Recommended

Real-Time Systems: Formal Specification and Automatic Verification
Real-Time Systems: Formal Specification and Automatic Verification

$35.28

View Details
Formal Specification : Techniques and Applications, Paperback by Nissanke, Ni...
Formal Specification : Techniques and Applications, Paperback by Nissanke, Ni...

$65.11

View Details
Introduction Formal Specification And Z (2nd Edition) By Ben Pot
Introduction Formal Specification And Z (2nd Edition) By Ben Pot

$13.41

View Details
Formal Specification of Programming Languages: A Panoramic Primer (Prentice-Hall
Formal Specification of Programming Languages: A Panoramic Primer (Prentice-Hall

$61.00

View Details
ZB 2005: Formal Specification and Development in Z and B: 4th International Conf
ZB 2005: Formal Specification and Development in Z and B: 4th International Conf

$127.09

View Details
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conf
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conf

$69.14

View Details
Nissanke - Formal Specification   Techniques and Applications - New p - S9000z
Nissanke - Formal Specification Techniques and Applications - New p - S9000z

$68.72

View Details
Formal Specification Level : Concepts, Methods, and Algorithms, Paperback by ...
Formal Specification Level : Concepts, Methods, and Algorithms, Paperback by ...

$124.90

View Details
SPECIFICATION AND TRANSFORMATION OF PROGRAMS: A FORMAL By Helmut A. Partsch
SPECIFICATION AND TRANSFORMATION OF PROGRAMS: A FORMAL By Helmut A. Partsch

$48.75

View Details
Introduction to Formal Specification and Z (Prentice-Hall Intern
Introduction to Formal Specification and Z (Prentice-Hall Intern

$11.55

View Details