Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Formal Specification Level, 1

Algorithms, Concepts and Methods

Sprache EnglischEnglisch
Buch Hardcover
Buch Formal Specification Level, 1 Mathias Soeken
Libristo-Code: 02746221
Verlag Springer, Berlin, November 2014
This book introduces a new level of abstraction that closes the gap between the textual specificatio... Vollständige Beschreibung
? points 263 b
107.29 € inkl. MwSt.
Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Mathematisch-Organisatorische Studie Zur Planung Der Kapazit t Von Betriebsanlagen (Bearbeitet Am Beispiel Einer F rderanlage Unter Tage) Joseph Mathieu / Buch Broschur
common.buy 55.29 €
Landhaus am Rhein Band 2 Berthold Auerbach / Buch Broschur
common.buy 14.90 €
Erlebnissteigerung anhand der Beispiele Eventmarketing und Tourismus Leonie Pepplinkhuizen / Buch Broschur
common.buy 18.95 €
Hvězdy české sci-fi Ondřej Neff / Buch Hardcover
common.buy 14.49 €
ELS AVANTATGES I ELS DESAVANTATGES DE LES LLETRES LEON BATTISTA ALBERTI / Buch Hardcover
common.buy 18.79 €
Něžná je noc Francis Scott Fitzgerald / Buch Hardcover
common.buy 9.89 €
Demnächst
Oh, comme tu es chanceux Docteur Seuss / Buch Hardcover
common.buy 16.49 €
Odstřelovač Peter Brookesmith / Buch Hardcover
common.buy 5.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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
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, 1
Autor Mathias Soeken, Rolf Drechsler
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2014
Anzahl der Seiten 200
EAN 9783319086989
ISBN 3319086987
Libristo-Code 02746221
Verlag Springer, Berlin
Gewicht 360
Abmessungen 155 x 235 x 14

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

Das könnte Sie auch interessieren

Computational Approaches for Studying Enzyme Mechanism Part B Gregory Voth / Buch Hardcover
common.buy 224.29 €
Perfect Fit Carly Phillips / Hörbuch MP3
common.buy 62.89 €
Bane Drain Brandon T. Snider / Buch Broschur
common.buy 7.59 €
The Truth About Firefly Meadows Olivia M. Sherry / Buch Broschur
common.buy 9.59 €
Disability and Diversity: An Introduction Smith / Buch Broschur
common.buy 160.49 €
I'm Gay, And I Hate Myself: American Loser Mark David King / Buch Broschur
common.buy 7.99 €
Schuld Und Bue. T. 1-2 J. SATORI / Buch Hardcover
common.buy 40.69 €
Pocketbook Diaries - The Escape from Aphrodan L. C. Rogers / Buch Broschur
common.buy 21.99 €
Jazz Child Ellen Johnson / Buch Broschur
common.buy 48.19 €
The Collectio Burdegalensis: A Study and Register of an Eleventh-Century Canon Law Collection Kriston R. Rennie / Buch Hardcover
common.buy 103.39 €
Buzz, Buzz, Buzz Byron Barton / Buch Broschur
common.buy 9.19 €
Fancy Nancy Jane O'Connor / Buch Broschur
common.buy 5.79 €
End of Vandalism Tom Drury / Buch Broschur
common.buy 14.99 €
Empire of Liberty Gordon S Wood / Buch Hardcover
common.buy 38.19 €
Emma Goldman Vivian Gornick / Buch Broschur
common.buy 21.19 €
Demnächst
Woodvilles Susan Higginbotham / Buch Hardcover
common.buy 20.19 €
Primitive Culture Edward Burnett Tylor / Buch Broschur
common.buy 62.79 €
Particle Induced Electron Emission II D. Hasselkamp / Buch Broschur
common.buy 53.79 €
Education in Facebook? Mike Kent & Tama Leaver / Buch Broschur
common.buy 45.49 €
Familiaria Colloquia, Opera Christophori Helvici D. & Professoris Giessensis Olim, Ex Erasmo Roterodamo, Ludovico Vive, & Schottenio Hasso Selecta. Ed Desiderius Erasmus / Buch Broschur
common.buy 24.79 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?