Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods for Discrete-Time Dynamical Systems

Język AngielskiAngielski
Książka Twarda
Książka Formal Methods for Discrete-Time Dynamical Systems Calin Belta
Kod Libristo: 15460068
Wydawnictwo Springer International Publishing AG, marzec 2017
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on... Cały opis
? points 423 b
744.99 zł
Dostępna u dostawcy Wysyłamy za 10-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Fosses Septiques Et Puits d'Eau Potable Amine Belbahi / Książka Miękka
common.buy 151.92 zł
Comune di Parigi Lenin / Książka Miękka
common.buy 52.85 zł
Авонлейские хроники. Подарочное издание Люси Мод Монтгомери / Książka Twarda
common.buy 74.44 zł
Was wissen sie vom Freisein Esther Hansen / Książka Twarda
common.buy 88.76 zł
Pädagogische Kompetenz eines Lehrers der beruflichen Bildung Ozoda Safibullaevna Abdullaeva / Książka Miękka
common.buy 144.35 zł
Fundamentos da Biblia Sagrada - VOLUME NOVE Leandro Bertoldo / E-book Adobe ePub DRM
common.buy 9.67 zł
Die Todesmarsche 1944/45 Daniel Blatman / E-book Adobe ePub DRM
common.buy 46.80 zł
1895, N 16/JUIN 1994 Książka Miękka
common.buy 87.15 zł
Cero limites / Zero Limits Joe Vitale / Książka Miękka
common.buy 63.95 zł
Kayip Papirüs Christa Holtei / Książka Miękka
common.buy 43.47 zł
Des Menschen bester Freund Fabian Elfeld / Książka Miękka
common.buy 54.06 zł
UNESCO-Weltnaturerbestatten in Deutschland - Typisierung und Vermarktung Yvonne Kirchhöfer / Książka Miękka
common.buy 68.99 zł
Reescalonamento dinamico de processos Gomes Roberto De Quadros / Książka Miękka
common.buy 246.54 zł
101 preguntas a Ramiro Calle Ramiro Calle / Książka Miękka
common.buy 67.78 zł
La cuina dels bolets SERGI DE MEIA / Książka Miękka
common.buy 107.43 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods for Discrete-Time Dynamical Systems
Autor Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Język Angielski
Oprawa Książka - Twarda
Data wydania 2017
Liczba stron 284
EAN 9783319507620
ISBN 9783319507620
Kod Libristo 15460068
Wydawnictwo Springer International Publishing AG
Waga 5797
Wymiary 155 x 235 x 23

Kategoria

Publikacje informacyjne i interdyscyplinarne > Informacja naukowa > Teoria informacji > Cybernetyka i teoria systemów
Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa
Technika, inżynieria i rolnictwo, procesy przemysłowe > Technika – zagadnienia ogólne > Inżynieria – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Information Security and Cryptology - ICISC 2015 Soonhak Kwon / Książka Miękka
common.buy 220.11 zł
Oboe Solos: Four Pieces for Oboe with Piano Accompaniment Javier Marco / Książka Miękka
common.buy 40.14 zł
Der Super Mario Bros. Film Aaron Horvath / Wideo DVD
common.buy 47.71 zł
Prayer of the Black Bear Eddie Salas / E-book Adobe ePub DRM
common.buy 19.56 zł
Italian Cook Book Olga Ragusa / Książka Miękka
common.buy 66.37 zł
A Cruise Across Europe: Notes On A Freshwater Voyage From Holland To The Black Sea (1907) Donald Maxwell / Książka Miękka
common.buy 92.80 zł
The Camera Fiend E W Hornung / Książka Miękka
common.buy 39.23 zł
The Waverley Novels; Volume 8 Sir Walter Scott / Książka Twarda
common.buy 154.94 zł
House with a Clock in Its Walls John Bellairs / Książka Miękka
common.buy 45.08 zł
Strength Training NOT Bodybuilding Marc McLean / Książka Miękka
common.buy 59.31 zł
Path of Christianity - The First Thousand Years John Anthony McGuckin / Książka Twarda
common.buy 239.28 zł
Becoming a Kink Aware Therapist Caroline Shahbaz / Książka Twarda
common.buy 373.45 zł
Active Citizenship and Multiple Identities in Europe Danny Wildemeersch / Książka Miękka
common.buy 441.24 zł
Walden / Civil Disobedience / and Other Writings Henry David Thoreau / Książka Miękka
common.buy 100.57 zł
Self-Organization and Green Applications in Cognitive Radio Networks Anwer Al-Dulaimi / Książka Twarda
common.buy 813.89 zł
Handbook for Administrators and Executors of Estates B Gene Bowyer / Książka Miękka
common.buy 39.13 zł
"From Sun-Up to Sun-Down" M M Whelan / Książka Miękka
common.buy 66.57 zł
Colonised Coasts Daniel A. Bergquist / Książka Miękka
common.buy 293.75 zł
Bureaucrats and Politicians in Western Democracies Joel D. Aberbach / Książka Miękka
common.buy 204.47 zł
Introduction to Satellite Communication Bruce R. Elbert / Książka Twarda
common.buy 585.10 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?