Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Specification Level, 1

Algorithms, Concepts and Methods

Limba englezăengleză
Carte Copertă tare
Carte Formal Specification Level, 1 Mathias Soeken
Codul Libristo: 02746221
Editura Springer, Berlin, noiembrie 2014
This book introduces a new level of abstraction that closes the gap between the textual specificatio... Descrierea completă
? points 263 b
569.38 lei
În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Mathematisch-Organisatorische Studie Zur Planung Der Kapazit t Von Betriebsanlagen (Bearbeitet Am Beispiel Einer F rderanlage Unter Tage) Joseph Mathieu / Carte Carte broșată
common.buy 293.27 lei
Landhaus am Rhein Band 2 Berthold Auerbach / Carte Carte broșată
common.buy 75.03 lei
Erlebnissteigerung anhand der Beispiele Eventmarketing und Tourismus Leonie Pepplinkhuizen / Carte Carte broșată
common.buy 94.90 lei
Hvězdy české sci-fi Ondřej Neff / Carte Copertă tare
common.buy 71.28 lei
ELS AVANTATGES I ELS DESAVANTATGES DE LES LLETRES LEON BATTISTA ALBERTI / Carte Copertă tare
common.buy 95.32 lei
Něžná je noc Francis Scott Fitzgerald / Carte Copertă tare
common.buy 48.80 lei
Curând
Oh, comme tu es chanceux Docteur Seuss / Carte Copertă tare
common.buy 84.08 lei
Odstřelovač Peter Brookesmith / Carte Copertă tare
common.buy 27.05 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Specification Level, 1
Autor Mathias Soeken, Rolf Drechsler
Limba engleză
Legare Carte - Copertă tare
Data publicării 2014
Număr pagini 200
EAN 9783319086989
ISBN 3319086987
Codul Libristo 02746221
Editura Springer, Berlin
Greutatea 360
Dimensiuni 155 x 235 x 14

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Computational Approaches for Studying Enzyme Mechanism Part B Gregory Voth / Carte Copertă tare
common.buy 1 090.80 lei
Perfect Fit Carly Phillips / Audiobook MP3
common.buy 316.90 lei
Bane Drain Brandon T. Snider / Carte Carte broșată
common.buy 40.06 lei
The Truth About Firefly Meadows Olivia M. Sherry / Carte Carte broșată
common.buy 50.67 lei
Disability and Diversity: An Introduction Smith / Carte Carte broșată
common.buy 851.32 lei
I'm Gay, And I Hate Myself: American Loser Mark David King / Carte Carte broșată
common.buy 42.24 lei
Schuld Und Bue. T. 1-2 J. SATORI / Carte Copertă tare
common.buy 215.63 lei
Pocketbook Diaries - The Escape from Aphrodan L. C. Rogers / Carte Carte broșată
common.buy 116.55 lei
Jazz Child Ellen Johnson / Carte Carte broșată
common.buy 255.49 lei
The Collectio Burdegalensis: A Study and Register of an Eleventh-Century Canon Law Collection Kriston R. Rennie / Carte Copertă tare
common.buy 548.36 lei
Buzz, Buzz, Buzz Byron Barton / Carte Carte broșată
common.buy 49.01 lei
Fancy Nancy Jane O'Connor / Carte Carte broșată
common.buy 30.59 lei
End of Vandalism Tom Drury / Carte Carte broșată
common.buy 79.71 lei
Empire of Liberty Gordon S Wood / Carte Copertă tare
common.buy 202.62 lei
Emma Goldman Vivian Gornick / Carte Carte broșată
common.buy 106.67 lei
Curând
Woodvilles Susan Higginbotham / Carte Copertă tare
common.buy 107.08 lei
Primitive Culture Edward Burnett Tylor / Carte Carte broșată
common.buy 302.74 lei
Particle Induced Electron Emission II D. Hasselkamp / Carte Carte broșată
common.buy 285.47 lei
Education in Facebook? Mike Kent & Tama Leaver / Carte Carte broșată
common.buy 241.44 lei
Familiaria Colloquia, Opera Christophori Helvici D. & Professoris Giessensis Olim, Ex Erasmo Roterodamo, Ludovico Vive, & Schottenio Hasso Selecta. Ed Desiderius Erasmus / Carte Carte broșată
common.buy 131.33 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?