Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Formal Methods for Discrete-Time Dynamical Systems

Език Английски езикАнглийски език
Книга С твърди корици
Книга Formal Methods for Discrete-Time Dynamical Systems Calin Belta
Код Либристо: 15460068
Издателство Springer International Publishing AG, март 2017
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on... Цялото описание
? points 446 b
184.48 €
360.82  лв
Външен склад Изпращаме след 10-13 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Fosses Septiques Et Puits d'Eau Potable Amine Belbahi / Книга С меки корици
common.buy 37.78 € 73.90 лв
Comune di Parigi Lenin / Книга С меки корици
common.buy 13.71 € 26.82 лв
Авонлейские хроники. Подарочное издание Люси Мод Монтгомери / Книга С твърди корици
common.buy 18.47 € 36.13 лв
Was wissen sie vom Freisein Esther Hansen / Книга С твърди корици
common.buy 22.10 € 43.22 лв
Pädagogische Kompetenz eines Lehrers der beruflichen Bildung Ozoda Safibullaevna Abdullaeva / Книга С меки корици
common.buy 35.92 € 70.25 лв
Fundamentos da Biblia Sagrada - VOLUME NOVE Leandro Bertoldo / E-книга Adobe ePub DRM
common.buy 2.38 € 4.65 лв
Die Todesmarsche 1944/45 Daniel Blatman / E-книга Adobe ePub DRM
common.buy 11.54 € 22.57 лв
1895, N 16/JUIN 1994 Книга С меки корици
common.buy 21.32 € 41.70 лв
Cero limites / Zero Limits Joe Vitale / Книга С меки корици
common.buy 15.83 € 30.97 лв
Kayip Papirüs Christa Holtei / Книга С меки корици
common.buy 10.76 € 21.05 лв
Des Menschen bester Freund Fabian Elfeld / Книга С меки корици
common.buy 13.45 € 26.31 лв
UNESCO-Weltnaturerbestatten in Deutschland - Typisierung und Vermarktung Yvonne Kirchhöfer / Книга С меки корици
common.buy 17.13 € 33.50 лв
Reescalonamento dinamico de processos Gomes Roberto De Quadros / Книга С меки корици
common.buy 61.28 € 119.86 лв
101 preguntas a Ramiro Calle Ramiro Calle / Книга С меки корици
common.buy 16.82 € 32.89 лв
La cuina dels bolets SERGI DE MEIA / Книга С меки корици
common.buy 26.60 € 52.03 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Formal Methods for Discrete-Time Dynamical Systems
Автор Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2017
Брой страници 284
Баркод 9783319507620
ISBN 9783319507620
Код Либристо 15460068
Издателство Springer International Publishing AG
Тегло 5797
Размери 155 x 235 x 23

Категории

Reference, Information & Interdisciplinary subjects > Research & information: general > Information theory > Cybernetics & systems theory
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Computing & Information Technology > Computer science > Systems analysis & design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Information Security and Cryptology - ICISC 2015 Soonhak Kwon / Книга С меки корици
common.buy 54.45 € 106.50 лв
Oboe Solos: Four Pieces for Oboe with Piano Accompaniment Javier Marco / Книга С меки корици
common.buy 9.42 € 18.42 лв
Der Super Mario Bros. Film Aaron Horvath / Видео DVD
common.buy 11.75 € 22.97 лв
Prayer of the Black Bear Eddie Salas / E-книга Adobe ePub DRM
common.buy 4.81 € 9.41 лв
Italian Cook Book Olga Ragusa / Книга С меки корици
common.buy 15.58 € 30.46 лв
A Cruise Across Europe: Notes On A Freshwater Voyage From Holland To The Black Sea (1907) Donald Maxwell / Книга С меки корици
common.buy 21.79 € 42.61 лв
The Camera Fiend E W Hornung / Книга С меки корици
common.buy 9.21 € 18.01 лв
The Waverley Novels; Volume 8 Sir Walter Scott / Книга С твърди корици
common.buy 36.39 € 71.16 лв
House with a Clock in Its Walls John Bellairs / Книга С меки корици
common.buy 11.07 € 21.66 лв
Strength Training NOT Bodybuilding Marc McLean / Книга С меки корици
common.buy 13.92 € 27.22 лв
Path of Christianity - The First Thousand Years John Anthony McGuckin / Книга С твърди корици
common.buy 56.21 € 109.94 лв
Becoming a Kink Aware Therapist Caroline Shahbaz / Книга С твърди корици
common.buy 87.74 € 171.60 лв
Active Citizenship and Multiple Identities in Europe Danny Wildemeersch / Книга С меки корици
common.buy 109.11 € 213.41 лв
Walden / Civil Disobedience / and Other Writings Henry David Thoreau / Книга С меки корици
common.buy 24.58 € 48.08 лв
Self-Organization and Green Applications in Cognitive Radio Networks Anwer Al-Dulaimi / Книга С твърди корици
common.buy 211.30 € 413.26 лв
Handbook for Administrators and Executors of Estates B Gene Bowyer / Книга С меки корици
common.buy 9.16 € 17.91 лв
"From Sun-Up to Sun-Down" M M Whelan / Книга С меки корици
common.buy 15.63 € 30.57 лв
Colonised Coasts Daniel A. Bergquist / Книга С меки корици
common.buy 72.57 € 141.93 лв
Bureaucrats and Politicians in Western Democracies Joel D. Aberbach / Книга С меки корици
common.buy 48.03 € 93.94 лв
Introduction to Satellite Communication Bruce R. Elbert / Книга С твърди корици
common.buy 137.43 € 268.79 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?