Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Specification Level, 1

Algorithms, Concepts and Methods

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 271 b
39 729 Ft
In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Mathematisch-Organisatorische Studie Zur Planung Der Kapazit t Von Betriebsanlagen (Bearbeitet Am Beispiel Einer F rderanlage Unter Tage) Joseph Mathieu / Book Paperback
common.buy 20 468 Ft
Landhaus am Rhein Band 2 Berthold Auerbach / Book Paperback
common.buy 5 237 Ft
Erlebnissteigerung anhand der Beispiele Eventmarketing und Tourismus Leonie Pepplinkhuizen / Book Paperback
common.buy 6 644 Ft
Hvězdy české sci-fi Ondřej Neff / Book Hardback
common.buy 4 826 Ft
ELS AVANTATGES I ELS DESAVANTATGES DE LES LLETRES LEON BATTISTA ALBERTI / Book Hardback
common.buy 6 426 Ft
Něžná je noc Francis Scott Fitzgerald / Book Hardback
common.buy 3 299 Ft
Coming soon
Oh, comme tu es chanceux Docteur Seuss / Book Hardback
common.buy 5 709 Ft
Odstřelovač Peter Brookesmith / Book Hardback
common.buy 1 790 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

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

You might also be interested in

Fancy Nancy Jane O'Connor / Book Paperback
common.buy 2 142 Ft
Perfect Fit Carly Phillips / Audiobook MP3
common.buy 21 551 Ft
Bane Drain Brandon T. Snider / Book Paperback
common.buy 2 230 Ft
The Truth About Firefly Meadows Olivia M. Sherry / Book Paperback
common.buy 3 535 Ft
Disability and Diversity: An Introduction Smith / Book Paperback
common.buy 58 980 Ft
I'm Gay, And I Hate Myself: American Loser Mark David King / Book Paperback
common.buy 2 933 Ft
Schuld Und Bue. T. 1-2 J. SATORI / Book Hardback
common.buy 14 995 Ft
Pocketbook Diaries - The Escape from Aphrodan L. C. Rogers / Book Paperback
common.buy 7 555 Ft
Jazz Child Ellen Johnson / Book Paperback
common.buy 17 706 Ft
The Collectio Burdegalensis: A Study and Register of an Eleventh-Century Canon Law Collection Kriston R. Rennie / Book Hardback
common.buy 38 059 Ft
Buzz, Buzz, Buzz Byron Barton / Book Paperback
common.buy 3 419 Ft
Computational Approaches for Studying Enzyme Mechanism Part B Gregory Voth / Book Hardback
common.buy 77 186 Ft
End of Vandalism Tom Drury / Book Paperback
common.buy 5 589 Ft
Familiaria Colloquia, Opera Christophori Helvici D. & Professoris Giessensis Olim, Ex Erasmo Roterodamo, Ludovico Vive, & Schottenio Hasso Selecta. Ed Desiderius Erasmus / Book Paperback
common.buy 9 142 Ft
Empire of Liberty Gordon S Wood / Book Hardback
common.buy 14 204 Ft
Emma Goldman Vivian Gornick / Book Paperback
common.buy 6 015 Ft
Coming soon
Woodvilles Susan Higginbotham / Book Hardback
common.buy 7 250 Ft
Primitive Culture Edward Burnett Tylor / Book Paperback
common.buy 21 523 Ft
Top
George R. R. Martin's A Game of Thrones 5-Book Boxed Set (Song of Ice and Fire Series) George R. R. Martin / Book Paperback
common.buy 28 787 Ft
Particle Induced Electron Emission II D. Hasselkamp / Book Paperback
common.buy 19 922 Ft
Education in Facebook? Mike Kent & Tama Leaver / Book Paperback
common.buy 16 753 Ft
Top
Healing Add Daniel G. Amen / Book Paperback
common.buy 6 176 Ft

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