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

Concepts, Methods, and Algorithms

Limba englezăengleză
Carte Carte broșată
Carte Formal Specification Level Mathias Soeken
Codul Libristo: 13633632
Editura Springer International Publishing AG, august 2016
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 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

FABLIAU 2 OPUS 75 PIANO JOSEPH-JOACHIM RAFF Materiale tipărite Note muzicale
common.buy 46.41 lei
Assoziationsregel-Algorithmen fuer Daten mit komplexer Struktur Lars Schmidt-Thieme / Carte Carte broșată
common.buy 377.05 lei
Photography Inspirations /multilingue DAAB / Carte Carte broșată
common.buy 455.32 lei
Leftin
Hell's Paradise - Band 1 Yuko Keller / Carte Carte broșată
common.buy 34.96 lei
Orthographe progressive du francais J-M Robert / Carte Carte broșată
common.buy 165.78 lei
Pasje Zygmunta Freuda Fromm Erich / Carte Carte broșată
common.buy 25.38 lei
No lleves hadas al cole PALOMA BORDONS / Carte Carte broșată
common.buy 53.69 lei
Gruppentraining Wirbelsaulengymnastik. Optimaler Phasenverlauf und Funktionen des Gruppentrainers nach Reiss & Fikenzer Anonym / Carte Carte broșată
common.buy 75.44 lei
Técnicas generales de laboratorio María Isabel Lorenzo Luque / Carte Carte broșată
common.buy 253.83 lei
Unterrichtsplanung und Methoden Astrid Kaiser / Carte Carte broșată
common.buy 95.11 lei
Klassenarbeiten Mathematik 5, m. 1 CD-ROM Martin Gehstein / Carte Carte broșată
common.buy 151.00 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 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
Autor Mathias Soeken, Rolf Drechsler
Limba engleză
Legare Carte - Carte broșată
Data publicării 2016
Număr pagini 138
EAN 9783319378824
ISBN 3319378821
Codul Libristo 13633632
Editura Springer International Publishing AG
Greutatea 238
Dimensiuni 155 x 235 x 8

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

Halakhic Man, Authentic Jew Ira Bedzow / Carte Copertă tare
common.buy 121.34 lei
Top
Master Your Data with Excel and Power BI Miguel Escobar / Carte Carte broșată
common.buy 149.34 lei
Journey to the Center of the Earth Jules Verne / Carte Carte broșată
common.buy 42.87 lei
Top
Zak George's Dog Training Revolution Zak George / Carte Carte broșată
common.buy 68.05 lei
Choices - Stories for the Sleepy Reader Henry M. Schmidt / Carte Carte broșată
common.buy 85.33 lei
C1 Advanced (CAE) 2100 English Vocabulary C1 YAO DAVID YAO / Carte Carte broșată
common.buy 91.06 lei
The Extended Phenotype Richard Dawkins / Carte Carte broșată
common.buy 80.65 lei
Top
Your Next Five Moves Patrick Bet-David / Carte Carte broșată
common.buy 66.29 lei
Hubble's Universe: 2nd Ed; Greatest Discoveries and Latest Images Terence Dickinson / Carte Copertă tare
common.buy 169.74 lei
The CSB Study Bible for Women, Hardcover Csb Bibles By Holman / Carte Copertă tare
common.buy 196.38 lei
The Birds of America John James Audubon / Carte Copertă tare
common.buy 210.64 lei
Twentieth Century German Art Exhibition Lucy (Courtauld Institute of Art) Wasensteiner / Carte Copertă tare
common.buy 1 189.87 lei
Top
How to Cook That : Crazy Sweet Creations (Chocolate Baking, Pie Baking, Confectionary Desserts, and More) Ann Reardon / Carte Copertă tare
common.buy 120.51 lei
Sequential Jazz Piano Songs: 26 Easy Favorites Carefully Selected and Arranged in Order of Difficulty Hal Leonard Corp / Carte Carte broșată
common.buy 75.65 lei
Top
Carry On Rainbow Rowell / Carte Carte broșată
common.buy 54.63 lei
Top
How to Prove It Daniel J. Velleman / Carte Carte broșată
common.buy 254.87 lei
Tea Dragon Festival ONEILL K / Carte Carte broșată
common.buy 61.29 lei
LEGO Games Book DK / Carte Copertă tare
common.buy 87.93 lei
Adorable Fruits & Vegetables to Crochet Marie Clesse / Carte Carte broșată
common.buy 67.22 lei
Planets Fiona Watt / Carte Cărți pliante
common.buy 78.05 lei
Hot British Boyfriend Kristy Boyce / Carte Carte broșată
common.buy 48.49 lei
Volvo 1944-1968 Workshop Manual PV444, PV544 (P110), P1800, PV445, P122 (P120 & Amazon), P210, P130, P220, 144, 142 & 145 Floyd Clymer / Carte Carte broșată
common.buy 205.02 lei
Writers and Politics in Germany, 1945-2008 Stuart Parkes / Carte Carte broșată
common.buy 186.60 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?