Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Formal Methods for Discrete-Time Dynamical Systems

Língua InglêsInglês
Livro Livro de capa dura
Livro Formal Methods for Discrete-Time Dynamical Systems Calin Belta
Código Libristo: 15460068
Editoras Springer International Publishing AG, março 2017
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on... Descrição completa
? points 400 b
165.18 €
Armazenamento externo Envio em 10-13 dias

Até 30 dias para devoluções

Os clientes também compraram

Fosses Septiques Et Puits d'Eau Potable Amine Belbahi / Livro Capa mole
common.buy 33.53 €
Comune di Parigi Lenin / Livro Capa mole
common.buy 11.10 €
Авонлейские хроники. Подарочное издание Люси Мод Монтгомери / Livro Livro de capa dura
common.buy 17.47 €
Was wissen sie vom Freisein Esther Hansen / Livro Livro de capa dura
common.buy 19.49 €
Pädagogische Kompetenz eines Lehrers der beruflichen Bildung Ozoda Safibullaevna Abdullaeva / Livro Capa mole
common.buy 31.82 €
Fundamentos da Biblia Sagrada - VOLUME NOVE Leandro Bertoldo / E-book Adobe ePub DRM
common.buy 2.01 €
Die Todesmarsche 1944/45 Daniel Blatman / E-book Adobe ePub DRM
common.buy 9.89 €
1895, N 16/JUIN 1994 Livro Capa mole
common.buy 17.77 €
Cero limites / Zero Limits Joe Vitale / Livro Capa mole
common.buy 14.13 €
Kayip Papirüs Christa Holtei / Livro Capa mole
common.buy 9.69 €
Des Menschen bester Freund Fabian Elfeld / Livro Capa mole
common.buy 11.91 €
UNESCO-Weltnaturerbestatten in Deutschland - Typisierung und Vermarktung Yvonne Kirchhöfer / Livro Capa mole
common.buy 15.25 €
Reescalonamento dinamico de processos Gomes Roberto De Quadros / Livro Capa mole
common.buy 65.57 €
101 preguntas a Ramiro Calle Ramiro Calle / Livro Capa mole
common.buy 15.04 €
La cuina dels bolets SERGI DE MEIA / Livro Capa mole
common.buy 23.73 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Methods for Discrete-Time Dynamical Systems
Autor Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2017
Número de páginas 284
EAN 9783319507620
ISBN 9783319507620
Código Libristo 15460068
Editoras Springer International Publishing AG
Peso 5797
Dimensões 155 x 235 x 23

Categorias

Livros de referência, informação & temas interdisciplinares > Pesquisa & informação: generalidades > Teoria da informação > Cibernética e teoria de sistemas
Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos
Tecnologia, Engenharia & Agricultura > Tecnologia: questões gerais > Engenharia: generalidades
Informática & tecnologia da informação > Ciência informática > Análise e conceção de sistemas
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Information Security and Cryptology - ICISC 2015 Soonhak Kwon / Livro Capa mole
common.buy 48.79 €
Oboe Solos: Four Pieces for Oboe with Piano Accompaniment Javier Marco / Livro Capa mole
common.buy 7.97 €
Der Super Mario Bros. Film Aaron Horvath / Vídeo DVD
common.buy 10.60 €
Prayer of the Black Bear Eddie Salas / E-book Adobe ePub DRM
common.buy 4.03 €
Italian Cook Book Olga Ragusa / Livro Capa mole
common.buy 14.03 €
A Cruise Across Europe: Notes On A Freshwater Voyage From Holland To The Black Sea (1907) Donald Maxwell / Livro Capa mole
common.buy 18.58 €
The Camera Fiend E W Hornung / Livro Capa mole
common.buy 7.77 €
The Waverley Novels; Volume 8 Sir Walter Scott / Livro Livro de capa dura
common.buy 32.72 €
House with a Clock in Its Walls John Bellairs / Livro Capa mole
common.buy 9.08 €
Strength Training NOT Bodybuilding Marc McLean / Livro Capa mole
common.buy 12.52 €
Path of Christianity - The First Thousand Years John Anthony McGuckin / Livro Livro de capa dura
common.buy 49.09 €
Becoming a Kink Aware Therapist Caroline Shahbaz / Livro Livro de capa dura
common.buy 79.81 €
Active Citizenship and Multiple Identities in Europe Danny Wildemeersch / Livro Capa mole
common.buy 97.99 €
Walden / Civil Disobedience / and Other Writings Henry David Thoreau / Livro Capa mole
common.buy 21.71 €
Self-Organization and Green Applications in Cognitive Radio Networks Anwer Al-Dulaimi / Livro Livro de capa dura
common.buy 190.74 €
Handbook for Administrators and Executors of Estates B Gene Bowyer / Livro Capa mole
common.buy 7.97 €
"From Sun-Up to Sun-Down" M M Whelan / Livro Capa mole
common.buy 13.63 €
Colonised Coasts Daniel A. Bergquist / Livro Capa mole
common.buy 61.62 €
Bureaucrats and Politicians in Western Democracies Joel D. Aberbach / Livro Capa mole
common.buy 44.04 €
Introduction to Satellite Communication Bruce R. Elbert / Livro Livro de capa dura
common.buy 124.46 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?