[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Formal Specification Level, 1

Language EnglishEnglish
Book Hardback
Book Formal Specification Level, 1 Mathias Soeken
Libristo code: 02746221
Publishers Springer, Berlin, November 2014
This book introduces a new level of abstraction that closes the gap between the textual specificatio... Full description
? points 317 b
134.22 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Empire of Liberty Gordon S Wood / Hardback
common.buy 41.41 €
Fancy Nancy Jane O'Connor / Paperback
common.buy 6.41 €
Erlebnissteigerung anhand der Beispiele Eventmarketing und Tourismus Leonie Pepplinkhuizen / Paperback
common.buy 20.28 €
Familiaria Colloquia, Opera Christophori Helvici D. & Professoris Giessensis Olim, Ex Erasmo Roterodamo, Ludovico Vive, & Schottenio Hasso Selecta. Ed Desiderius Erasmus / Paperback
common.buy 28.36 €
Landhaus am Rhein Band 2 Berthold Auerbach / Paperback
common.buy 15.95 €
Computational Approaches for Studying Enzyme Mechanism Part B Gregory Voth / Hardback
common.buy 266.31 €
End of Vandalism Tom Drury / Paperback
common.buy 16.90 €
Buzz, Buzz, Buzz Byron Barton / Paperback
common.buy 8.34 €
Education in Facebook? Mike Kent & Tama Leaver / Paperback
common.buy 47.09 €

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 so-called 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.

About the book

Full name Formal Specification Level, 1
Author Mathias Soeken, Rolf Drechsler
Language English
Binding Book - Hardback
Date of issue 2014
Number of pages 200
EAN 9783319086989
ISBN 3319086987
Libristo code 02746221
Publishers Springer, Berlin
Weight 360
Dimensions 155 x 235 x 14

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account