Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Specification Level

Name: Formal Specification Level
Brand: Springer International Publishing AG
SKU: 13633632
Price: 107.29 EUR
Availability: InStock
Author: Mathias Soeken
ISBN: 9783319378824

Concepts, Methods, and Algorithms

Mathias Soeken

Rolf Drechsler

Sprache

Englisch

Buch Broschur

Libristo-Code: 13633632

Verlag Springer International Publishing AG, August 2016

This book introduces a new level of abstraction that closes the gap between the textual specificatio... Vollständige Beschreibung

Libristo-Code: 13633632

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

FABLIAU 2 OPUS 75 PIANO JOSEPH-JOACHIM RAFF Drucksachen

Noten

9.09 €

Assoziationsregel-Algorithmen fuer Daten mit komplexer Struktur Lars Schmidt-Thieme

Broschur

74.49 €

Photography Inspirations /multilingue DAAB

Broschur

90.09 €

Hell's Paradise - Band 1 Yuko Keller

Broschur

8.50 €

Orthographe progressive du francais J-M Robert

Broschur

32.79 €

Pasje Zygmunta Freuda Fromm Erich

Broschur

5.39 €

No lleves hadas al cole PALOMA BORDONS

Broschur

10.09 €

Gruppentraining Wirbelsaulengymnastik. Optimaler Phasenverlauf und Funktionen des Gruppentrainers nach Reiss & Fikenzer Anonym

Broschur

14.99 €

Técnicas generales de laboratorio María Isabel Lorenzo Luque

Broschur

49.79 €

Unterrichtsplanung und Methoden Astrid Kaiser

Broschur

18.00 €

Klassenarbeiten Mathematik 5, m. 1 CD-ROM Martin Gehstein

Broschur

29.89 €

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, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.§

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Specification Level

Autor Mathias Soeken, Rolf Drechsler

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2016

Anzahl der Seiten 138

EAN 9783319378824

ISBN 3319378821

Libristo-Code 13633632

Verlag Springer International Publishing AG

Gewicht 238

Abmessungen 155 x 235 x 8

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Ingenieurswesen, Maschinenbau allgemein

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert