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 DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

Limba englezăengleză
Carte Carte broșată
Carte Automatic Methods for the Refinement of System Models Julia Seiter
Codul Libristo: 12580308
Editura Springer International Publishing AG, iulie 2016
This book provides a comprehensive overview of automatic model refinement, which helps readers close... Descrierea completă
? points 132 b
285.03 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Cosas que quedaron en la sombra Martínez López / Carte Carte broșată
common.buy 93.00 lei
Streaming P2P para comunicação móvel sob demanda Andreas Keiper / Carte Carte broșată
common.buy 246.69 lei
Top
Intensive Course for TOPIK ¿ Success - All-in-One Study Guide Sung Hee Son / Carte Carte broșată
common.buy 163.56 lei
Mon agenda Falling in Reverse 2025-2026 Core / Carte Carte broșată
common.buy 76.16 lei
Geschichte des späteren Mittelalters von 1197 bis 1492 Johann Loserth / Carte Carte broșată
common.buy 296.05 lei
The Love Hypothesis - Die theoretische Unwahrscheinlichkeit von Liebe Christine Strüh / Carte Carte broșată
common.buy 57.35 lei
Leftin
LA MAESTRIA DE LA VIDA RUIZ JR. / Carte Carte broșată
common.buy 59.53 lei
Après le vieux jeu Joëlle Chambon / Carte Carte broșată
common.buy 164.49 lei
Quantix Laurent Schafer / Carte Carte broșată
common.buy 132.17 lei
Магические карты. "Предсказания духов" (32 карты + руководство) Наталья Степанова / Carte binding.
common.buy 118.77 lei
Deux ans dans les pas de Zamaraï Païkan, général et héros afghan Cholous / Carte Carte broșată
common.buy 164.49 lei
Conclure la vente - 2e éd. - Décrochez plus de commandes, signez plus de contrats Michaël Aguilar / Carte Carte broșată
common.buy 170.93 lei
RHF-Revista de Historia del Fascismo Ernesto Mila / Carte Carte broșată
common.buy 131.34 lei
Conozca a Se Enemigo: Know Your Enemy Kenneth Copeland / Carte Carte broșată
common.buy 42.18 lei
O anarquismo no movimento punk Oliveira Valdir Da Silva / Carte Carte broșată
common.buy 305.82 lei
Wilsberg Lucas Seeberger / Videoclip DVD
common.buy 97.78 lei

This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.?

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 Automatic Methods for the Refinement of System Models
Autor Julia Seiter, Robert Wille, Rolf Drechsler
Limba engleză
Legare Carte - Carte broșată
Data publicării 2016
Număr pagini 94
EAN 9783319414799
ISBN 3319414798
Codul Libristo 12580308
Editura Springer International Publishing AG
Greutatea 1708
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

Is the Western Diet Making the World Sick? Susan Hunnicutt / Carte Carte broșată
common.buy 173.32 lei
Untitled 9781464229732 Emily McIntire / Carte Carte broșată
common.buy 83.75 lei
With Pen and Scalpel: The Story of St. Luke the Evangelist William G. Collins / Carte Carte broșată
common.buy 76.58 lei
Folklore and Fable: Aesop, Grimm, Andersen: V17 Harvard Classics Aesop / Carte Copertă tare
common.buy 272.25 lei
Oxford Handbook of Jewish Daily Life in Roman Palestine Catherine Hezser / Carte Carte broșată
common.buy 351.85 lei
Hands-On Social Studies, Grade 4: Saskatchewan Jennifer Lawson / Carte Carte broșată
common.buy 858.86 lei
The Fat Artist and Other Stories Benjamin Hale / Carte Carte broșată
common.buy 71.59 lei
Talent, Volume 1 Christopher Golden / Carte Carte broșată
common.buy 67.33 lei
The Pocket Psycho John Clarke / Carte Carte broșată
common.buy 73.35 lei
Biomedical Science and Technology Mark Walters / Carte Copertă tare
common.buy 456.39 lei
Mikayla's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Carte Carte broșată
common.buy 42.80 lei
Unlimited Creative Corporations Ruby N. Lewis / Carte Carte broșată
common.buy 268.72 lei
How to Tune and Modify Automotive Engine Management Systems Jeff Hartman / Carte Carte broșată
common.buy 195.87 lei
Deaf Children in China Alison Callaway / Carte Copertă tare
common.buy 406.41 lei
My Self the Enemy D Espect / Carte Carte broșată
common.buy 80.73 lei
The TAN Guide to the Spiritual Combat and a Treatise on Peace of Soul Dom Lorenzo Scupoli / Carte Carte broșată
common.buy 46.13 lei
The No-Stress Holiday Organizer: An All-In-One Guide to Planning and Recording Your Holidays Cedar Fort Inc / Carte Carte broșată
common.buy 76.78 lei
Hop on Patty Nelson / Carte Carte broșată
common.buy 127.70 lei
The Binomial Theorem - A Selection of Classic Mathematical Articles Containing Examples and Exercises in Algebra (Mathematics Series) Various / Carte Carte broșată
common.buy 122.92 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?