Check order status

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

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Specification Level, 1

Name: Formal Specification Level, 1
Brand: Springer, Berlin
SKU: 02746221
Price: 102.84 EUR
Availability: InStock
Author: Mathias Soeken
ISBN: 9783319086989

Algorithms, Concepts and Methods

Mathias Soeken

Rolf Drechsler

Language

English

Book Hardback

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

Libristo code: 02746221

249 b

102.84 €

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

Paperback

53.03 €

Landhaus am Rhein Band 2 Berthold Auerbach

Paperback

13.53 €

Erlebnissteigerung anhand der Beispiele Eventmarketing und Tourismus Leonie Pepplinkhuizen

Paperback

17.06 €

Hvězdy české sci-fi Ondřej Neff

Hardback

13.53 €

ELS AVANTATGES I ELS DESAVANTATGES DE LES LLETRES LEON BATTISTA ALBERTI

Hardback

18.18 €

Něžná je noc Francis Scott Fitzgerald

Hardback

9.29 €

Oh, comme tu es chanceux Docteur Seuss

Hardback

16.05 €

Odstřelovač Peter Brookesmith

Hardback

4.84 €

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

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

You might also be interested in

Fancy Nancy Jane O'Connor

Paperback

5.45 €

Perfect Fit Carly Phillips

MP3

60.21 €

Bane Drain Brandon T. Snider

Paperback

7.26 €

The Truth About Firefly Meadows Olivia M. Sherry

Paperback

9.08 €

Disability and Diversity: An Introduction Smith

Paperback

155.78 €

I'm Gay, And I Hate Myself: American Loser Mark David King

Paperback

7.67 €

Schuld Und Bue. T. 1-2 J. SATORI

Hardback

39.19 €

Pocketbook Diaries - The Escape from Aphrodan L. C. Rogers

Paperback

21.21 €

Jazz Child Ellen Johnson

Paperback

46.77 €

The Collectio Burdegalensis: A Study and Register of an Eleventh-Century Canon Law Collection Kriston R. Rennie

Hardback

100.01 €

Buzz, Buzz, Buzz Byron Barton

Paperback

8.88 €

Computational Approaches for Studying Enzyme Mechanism Part B Gregory Voth

Hardback

217.21 €

End of Vandalism Tom Drury

Paperback

14.24 €

Familiaria Colloquia, Opera Christophori Helvici D. & Professoris Giessensis Olim, Ex Erasmo Roterodamo, Ludovico Vive, & Schottenio Hasso Selecta. Ed Desiderius Erasmus

Paperback

23.83 €