Проверка на състоянието на поръчката
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Как се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 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
183.27 €
358.45  лв
Външен склад Изпращаме след 10-13 дни

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

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

Pädagogische Kompetenz eines Lehrers der beruflichen Bildung Ozoda Safibullaevna Abdullaeva / Книга С меки корици
common.buy 35.68 € 69.79 лв
Die Todesmarsche 1944/45 Daniel Blatman / E-книга Adobe ePub DRM
common.buy 11.47 € 22.43 лв
Giappone. Taccuini dal mondo fluttuante Stefano Faravelli / Книга С твърди корици
common.buy 47.97 € 93.83 лв
Fundamentos da Biblia Sagrada - VOLUME NOVE Leandro Bertoldo / E-книга Adobe ePub DRM
common.buy 2.41 € 4.72 лв
BLUEY. BUENAS NOCHES, MURCIELAGO DE LA FRUTA BBC STUDIOS / Книга Книга
common.buy 10.54 € 20.61 лв
Le Sar Rabin Dranath Duval Dac / Аудиокнига MP3
common.buy 4.21 € 8.24 лв
Comune di Parigi Lenin / Книга С меки корици
common.buy 19.54 € 38.22 лв
Авонлейские хроники. Подарочное издание Люси Мод Монтгомери / Книга С твърди корици
common.buy 18.35 € 35.90 лв
Antes de Watchmen: Moloch O.C. STRACZYNSKI / Книга С меки корици
common.buy 5.03 € 9.85 лв
Manzul de Vant: Roman Pentru Copii Petre Ghelmez / Книга С меки корици
common.buy 10.28 € 20.11 лв
Was wissen sie vom Freisein Esther Hansen / Книга С твърди корици
common.buy 21.90 € 42.84 лв
Andělé všedního dne Michal Viewegh / Книга С твърди корици
common.buy 11.36 € 22.22 лв
1895, N 16/JUIN 1994 Книга С меки корици
common.buy 20.00 € 39.11 лв
Mavi Günes Sari Gökyüzü Cep Boy Jamie Jo H. / Книга С меки корици
common.buy 9.67 € 18.91 лв
Kayip Papirüs Christa Holtei / Книга С меки корици
common.buy 10.70 € 20.92 лв
Top
Cuentos Completos / Complete Short Stories: Jorge Luis Borges Jorge Luis Borges / Книга С меки корици
common.buy 16.09 € 31.47 лв
Des Menschen bester Freund Fabian Elfeld / Книга С меки корици
common.buy 13.37 € 26.15 лв
Leibniz und Kant Jürgen Mittelstraß / Книга С твърди корици
common.buy 207.70 € 406.22 лв
101 preguntas a Ramiro Calle Ramiro Calle / Книга С меки корици
common.buy 16.66 € 32.58 лв
La cuina dels bolets SERGI DE MEIA / Книга С меки корици
common.buy 26.39 € 51.61 лв
Cero limites / Zero Limits Joe Vitale / Книга С меки корици
common.buy 18.76 € 36.70 лв
Reescalonamento dinamico de processos Gomes Roberto De Quadros / Книга С меки корици
common.buy 242.67 € 474.62 лв
Politische Geschichte Der Gegenwart Karl Wippermann / Книга С меки корици
common.buy 55.64 € 108.81 лв
Fosses Septiques Et Puits d'Eau Potable Amine Belbahi / Книга С меки корици
common.buy 37.53 € 73.41 лв

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.09 € 105.80 лв
Premonition Code Theresa Cheung / Книга С меки корици
common.buy 14.75 € 28.86 лв
Small Magics Ilona Andrews / Книга С твърди корици
common.buy 25.55 € 49.98 лв
Path of Christianity - The First Thousand Years John Anthony McGuckin / Книга С твърди корици
common.buy 57.44 € 112.33 лв
Bills of Lading Incorporating Charterparties Melis Ozdel / Книга С меки корици
common.buy 55.64 € 108.81 лв
German Energy Transition Thomas Unnerstall / Книга С твърди корици
common.buy 74.10 € 144.92 лв
Live Healthy: improve your lifestyle Dr Erick Collado Luna / Книга С меки корици
common.buy 8.48 € 16.59 лв
Oboe Solos: Four Pieces for Oboe with Piano Accompaniment Javier Marco / Книга С меки корици
common.buy 9.36 € 18.30 лв
Busty Barbarian Bimbos: A lighthearted fantasy roleplaying game for snickering adolescents John Fitzgerald / Книга С меки корици
common.buy 19.18 € 37.52 лв
Der Super Mario Bros. Film Aaron Horvath / Видео DVD
common.buy 11.67 € 22.82 лв
Strength Training NOT Bodybuilding Marc McLean / Книга С меки корици
common.buy 13.83 € 27.05 лв
Ministration Of, and Communion with Angels. by Isaac Ambrose, ISAAC AMBROSE / Книга С твърди корици
common.buy 30.54 € 59.73 лв
Becoming a Kink Aware Therapist Caroline Shahbaz / Книга С твърди корици
common.buy 94.41 € 184.65 лв
House with a Clock in Its Walls John Bellairs / Книга С меки корици
common.buy 10.85 € 21.21 лв
The Waverley Novels; Volume 8 Sir Walter Scott / Книга С твърди корици
common.buy 36.16 € 70.72 лв
The Healthy Witch Oracle Cards Jennifer Amazon / Книга С твърди корици
common.buy 19.54 € 38.22 лв
The Camera Fiend E W Hornung / Книга С меки корици
common.buy 9.15 € 17.90 лв
A Cruise Across Europe: Notes On A Freshwater Voyage From Holland To The Black Sea (1907) Donald Maxwell / Книга С меки корици
common.buy 21.65 € 42.35 лв
Blockchain and Deep Learning for Smart Healthcare Akansha Singh / Книга С твърди корици
common.buy 234.70 € 459.03 лв
Prayer of the Black Bear Eddie Salas / E-книга Adobe ePub DRM
common.buy 4.83 € 9.45 лв
Italian Cook Book Olga Ragusa / Книга С меки корици
common.buy 15.88 € 31.07 лв
Life and Times of A Wayward Geologist John Craig Shaw / Книга С меки корици
common.buy 9.87 € 19.30 лв
Introduction to Satellite Communication Bruce R. Elbert / Книга С твърди корици
common.buy 136.22 € 266.42 лв
Blackwell International Encyclopedia of Communication 12 Vol Set Wolfgang Donsbach / Книга С твърди корици
common.buy 3 100.89 € 6 064.81 лв

Вход

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

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

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

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

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