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 Cargus 28.00 lei Easybox 20.00 lei FAN 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 Methods for Discrete-Time Dynamical Systems

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods for Discrete-Time Dynamical Systems Calin Belta
Codul Libristo: 20093680
Editura Springer International Publishing AG, iulie 2018
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on... Descrierea completă
? points 449 b
973.08 lei
În depozitul extern Expediem în 10-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Des Fibromes de la Trompe Uterine PORET-A / Carte Carte broșată
common.buy 80.21 lei
Gülüm Demet Altinyeleklioglu / Carte Carte broșată
common.buy 143.89 lei
Les espaces de travail et les limites du fonctionnel Ahlem Ben Abdessalem / Carte Carte broșată
common.buy 463.64 lei
Automat Automat / Audio Audio CD
common.buy 126.73 lei
NETTER. BIOQUÍMICA ESENCIAL PETER RONNER / Carte Copertă tare
common.buy 381.97 lei
Deutsche Bauernmesse für Dreigesang und Stubenmusik, Ausgabe A, Chorpartitur Annette Thoma / Carte Foaie
common.buy 46.40 lei
Aufbau und Struktur von Daniel Kehlmanns "Die Vermessung der Welt Corinna Gronau / Carte Carte broșată
common.buy 89.68 lei
A befektetés pszichológiájának kiskönyve James Montier / Carte Copertă tare
common.buy 61.48 lei

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.

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 Methods for Discrete-Time Dynamical Systems
Autor Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Limba engleză
Legare Carte - Carte broșată
Data publicării 2018
Număr pagini 284
EAN 9783319844855
Codul Libristo 20093680
Editura Springer International Publishing AG
Greutatea 4628
Dimensiuni 155 x 235 x 17

Categorii

Reference, Information & Interdisciplinary subjects > Research & information: general > Information theory > Cybernetics & systems theory
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
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

Handbook of the Extracellular Matrix Fatima Raquel Azevedo Maia / Carte Copertă tare
common.buy 3 123.53 lei
Raising the Dead D. B. SIEDERS / Carte Carte broșată
common.buy 79.69 lei
Top
Silence of the Gods Francis Young / Carte Copertă tare
common.buy 140.88 lei
Form and Forces - Designing Efficient, Expressive Structures +WS Edward Allen / Carte Copertă tare
common.buy 700.05 lei
Anecdotes, Poetry and Incidents of the War Frank Moore / Carte Copertă tare
common.buy 493.20 lei
The History of Newmarket: And the Annals of the Turf: With Memoirs and Biographical Notices of the Habitues of Newmarket, and the Notable Turfit John Philip Hore / Carte Carte broșată
common.buy 183.33 lei
What's my name? CHANDA Tiina Walsh / Carte Carte broșată
common.buy 81.88 lei
Bringing Back History: An Untold Story of the 'Mexican Repatriation' Elsie Guerrero / Carte Copertă tare
common.buy 108.52 lei
First Course in Fuzzy Logic Nguyen / Carte Copertă tare
common.buy 995.87 lei
Print Sales and Marketing: Traditional and Digital Customer Acquisition Slava Apel / Carte Carte broșată
common.buy 329.52 lei
The Surgeon General's Call to Action to Prevent Skin Cancer U S Department of Healt Human Services / Carte Carte broșată
common.buy 106.33 lei
Weather in Winter Jennifer Fretland VanVoorst / Carte Copertă tare
common.buy 181.14 lei
Sadism And Masochism - The Psychology Of Hatred And Cruelty - Vol. I. Wilhelm Stekel / Carte Carte broșată
common.buy 177.71 lei
The Darling Russell Banks / Carte Carte broșată
common.buy 99.67 lei
Introduction to Scientific and Technical Computing Frank T. Willmore / Carte Carte broșată
common.buy 578.93 lei
Calvino and the Landscape of Childhood Claudia Nocentini / Carte Carte broșată
common.buy 316.83 lei
Top
When Money Dies Adam Fergusson / Carte Carte broșată
common.buy 79.07 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?