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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Formal Specification Level, 1

Algorithms, Concepts and Methods

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Formal Specification Level, 1 Mathias Soeken
Libristo-code: 02746221
Uitgeverij Springer, Berlin, november 2014
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 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Mathematisch-Organisatorische Studie Zur Planung Der Kapazit t Von Betriebsanlagen (Bearbeitet Am Beispiel Einer F rderanlage Unter Tage) Joseph Mathieu / Boek Gebonden (paperback)
common.buy 52.96 €
Landhaus am Rhein Band 2 Berthold Auerbach / Boek Gebonden (paperback)
common.buy 13.51 €
Erlebnissteigerung anhand der Beispiele Eventmarketing und Tourismus Leonie Pepplinkhuizen / Boek Gebonden (paperback)
common.buy 17.04 €
Hvězdy české sci-fi Ondřej Neff / Boek Gebonden (harde band)
common.buy 13.51 €
ELS AVANTATGES I ELS DESAVANTATGES DE LES LLETRES LEON BATTISTA ALBERTI / Boek Gebonden (harde band)
common.buy 18.05 €
Něžná je noc Francis Scott Fitzgerald / Boek Gebonden (harde band)
common.buy 9.27 €
Wordt verwacht
Oh, comme tu es chanceux Docteur Seuss / Boek Gebonden (harde band)
common.buy 16.03 €
Odstřelovač Peter Brookesmith / Boek Gebonden (harde band)
common.buy 4.83 €

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.

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, 1
Auteur Mathias Soeken, Rolf Drechsler
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2014
Aantal pagina's 200
EAN 9783319086989
ISBN 3319086987
Libristo-code 02746221
Uitgeverij Springer, Berlin
Gewicht 360
Afmetingen 155 x 235 x 14

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

Fancy Nancy Jane O'Connor / Boek Gebonden (paperback)
common.buy 5.44 €
Perfect Fit Carly Phillips / Luisterboek MP3
common.buy 60.52 €
Bane Drain Brandon T. Snider / Boek Gebonden (paperback)
common.buy 6.04 €
The Truth About Firefly Meadows Olivia M. Sherry / Boek Gebonden (paperback)
common.buy 9.07 €
Disability and Diversity: An Introduction Smith / Boek Gebonden (paperback)
common.buy 155.56 €
I'm Gay, And I Hate Myself: American Loser Mark David King / Boek Gebonden (paperback)
common.buy 7.66 €
Schuld Und Bue. T. 1-2 J. SATORI / Boek Gebonden (harde band)
common.buy 39.13 €
Pocketbook Diaries - The Escape from Aphrodan L. C. Rogers / Boek Gebonden (paperback)
common.buy 19.46 €
Jazz Child Ellen Johnson / Boek Gebonden (paperback)
common.buy 46.70 €
The Collectio Burdegalensis: A Study and Register of an Eleventh-Century Canon Law Collection Kriston R. Rennie / Boek Gebonden (harde band)
common.buy 99.87 €
Buzz, Buzz, Buzz Byron Barton / Boek Gebonden (paperback)
common.buy 8.87 €
Computational Approaches for Studying Enzyme Mechanism Part B Gregory Voth / Boek Gebonden (harde band)
common.buy 216.90 €
End of Vandalism Tom Drury / Boek Gebonden (paperback)
common.buy 14.21 €
Familiaria Colloquia, Opera Christophori Helvici D. & Professoris Giessensis Olim, Ex Erasmo Roterodamo, Ludovico Vive, & Schottenio Hasso Selecta. Ed Desiderius Erasmus / Boek Gebonden (paperback)
common.buy 23.80 €
Empire of Liberty Gordon S Wood / Boek Gebonden (harde band)
common.buy 36.31 €
Emma Goldman Vivian Gornick / Boek Gebonden (paperback)
common.buy 16.94 €
Wordt verwacht
Woodvilles Susan Higginbotham / Boek Gebonden (harde band)
common.buy 19.16 €
Primitive Culture Edward Burnett Tylor / Boek Gebonden (paperback)
common.buy 60.42 €
TOP
George R. R. Martin's A Game of Thrones 5-Book Boxed Set (Song of Ice and Fire Series) George R. R. Martin / Boek Gebonden (paperback)
common.buy 77.87 €
Particle Induced Electron Emission II D. Hasselkamp / Boek Gebonden (paperback)
common.buy 51.54 €
Education in Facebook? Mike Kent & Tama Leaver / Boek Gebonden (paperback)
common.buy 43.98 €
TOP
Healing Add Daniel G. Amen / Boek Gebonden (paperback)
common.buy 15.73 €

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