Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Specification Level

Concepts, Methods, and Algorithms

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Specification Level Mathias Soeken
Libristo-code: 13633632
Uitgeverij Springer International Publishing AG, augustus 2016
This book introduces a new level of abstraction that closes the gap between the textual specificatio... Volledige beschrijving
? points 249 b
102.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

FABLIAU 2 OPUS 75 PIANO JOSEPH-JOACHIM RAFF Drukwerk Bladmuziek
common.buy 8.87 €
Assoziationsregel-Algorithmen fuer Daten mit komplexer Struktur Lars Schmidt-Thieme / Boek Gebonden (paperback)
common.buy 75.15 €
Photography Inspirations /multilingue DAAB / Boek Gebonden (paperback)
common.buy 86.55 €
Voordelig
Hell's Paradise - Band 1 Yuko Keller / Boek Gebonden (paperback)
common.buy 6.65 €
Orthographe progressive du francais J-M Robert / Boek Gebonden (paperback)
common.buy 31.47 €
Pasje Zygmunta Freuda Fromm Erich / Boek Gebonden (paperback)
common.buy 4.83 €
No lleves hadas al cole PALOMA BORDONS / Boek Gebonden (paperback)
common.buy 10.18 €
Gruppentraining Wirbelsaulengymnastik. Optimaler Phasenverlauf und Funktionen des Gruppentrainers nach Reiss & Fikenzer Anonym / Boek Gebonden (paperback)
common.buy 13.51 €
Técnicas generales de laboratorio María Isabel Lorenzo Luque / Boek Gebonden (paperback)
common.buy 48.21 €
Unterrichtsplanung und Methoden Astrid Kaiser / Boek Gebonden (paperback)
common.buy 17.14 €
Klassenarbeiten Mathematik 5, m. 1 CD-ROM Martin Gehstein / Boek Gebonden (paperback)
common.buy 30.15 €

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.§

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Specification Level
Auteur Mathias Soeken, Rolf Drechsler
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2016
Aantal pagina's 138
EAN 9783319378824
ISBN 3319378821
Libristo-code 13633632
Uitgeverij Springer International Publishing AG
Gewicht 238
Afmetingen 155 x 235 x 8

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Elektronica: stroomketens en componenten
Technologie, techniek, landbouw, industriële processen > Technologie: algemene onderwerpen > Techniek: algemeen
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Halakhic Man, Authentic Jew Ira Bedzow / Boek Gebonden (harde band)
common.buy 22.08 €
TOP
Master Your Data with Excel and Power BI Miguel Escobar / Boek Gebonden (paperback)
common.buy 26.72 €
Journey to the Center of the Earth Jules Verne / Boek Gebonden (paperback)
common.buy 7.66 €
TOP
Zak George's Dog Training Revolution Zak George / Boek Gebonden (paperback)
common.buy 13.81 €
Choices - Stories for the Sleepy Reader Henry M. Schmidt / Boek Gebonden (paperback)
common.buy 15.53 €
C1 Advanced (CAE) 2100 English Vocabulary C1 YAO DAVID YAO / Boek Gebonden (paperback)
common.buy 16.43 €
The Extended Phenotype Richard Dawkins / Boek Gebonden (paperback)
common.buy 15.93 €
TOP
Your Next Five Moves Patrick Bet-David / Boek Gebonden (paperback)
common.buy 12.80 €
Hubble's Universe: 2nd Ed; Greatest Discoveries and Latest Images Terence Dickinson / Boek Gebonden (harde band)
common.buy 32.68 €
The CSB Study Bible for Women, Hardcover Csb Bibles By Holman / Boek Gebonden (harde band)
common.buy 35.40 €
The Birds of America John James Audubon / Boek Gebonden (harde band)
common.buy 39.34 €
Twentieth Century German Art Exhibition Lucy (Courtauld Institute of Art) Wasensteiner / Boek Gebonden (harde band)
common.buy 226.28 €
TOP
How to Cook That : Crazy Sweet Creations (Chocolate Baking, Pie Baking, Confectionary Desserts, and More) Ann Reardon / Boek Gebonden (harde band)
common.buy 21.58 €
Sequential Jazz Piano Songs: 26 Easy Favorites Carefully Selected and Arranged in Order of Difficulty Hal Leonard Corp / Boek Gebonden (paperback)
common.buy 13.51 €
TOP
Carry On Rainbow Rowell / Boek Gebonden (paperback)
common.buy 9.68 €
TOP
How to Prove It Daniel J. Velleman / Boek Gebonden (paperback)
common.buy 45.99 €
Tea Dragon Festival ONEILL K / Boek Gebonden (paperback)
common.buy 12.40 €
LEGO Games Book DK / Boek Gebonden (harde band)
common.buy 16.43 €
Adorable Fruits & Vegetables to Crochet Marie Clesse / Boek Gebonden (paperback)
common.buy 12.00 €
Planets Fiona Watt / Boek Leporello (harmonicaboek)
common.buy 14.82 €
Hot British Boyfriend Kristy Boyce / Boek Gebonden (paperback)
common.buy 8.57 €
Volvo 1944-1968 Workshop Manual PV444, PV544 (P110), P1800, PV445, P122 (P120 & Amazon), P210, P130, P220, 144, 142 & 145 Floyd Clymer / Boek Gebonden (paperback)
common.buy 40.95 €
Writers and Politics in Germany, 1945-2008 Stuart Parkes / Boek Gebonden (paperback)
common.buy 33.99 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?