«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Formal Methods for Discrete-Time Dynamical Systems

Idioma InglésInglés
Libro Tapa dura
Libro Formal Methods for Discrete-Time Dynamical Systems Calin Belta
Código Libristo: 15460068
Editores Springer International Publishing AG, marzo 2017
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on... Descripción completa
? points 469 b
191.59 €
Almacenamiento externo Envío en 10-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Comune di Parigi Lenin / Libro Tapa blanda
common.buy 13.89 €
Nuevo
Giappone. Taccuini dal mondo fluttuante Stefano Faravelli / Libro Tapa dura
common.buy 48.79 €
Die Todesmarsche 1944/45 Daniel Blatman / Libro electrónico Adobe ePub DRM
common.buy 11.59 €
Fundamentos da Biblia Sagrada - VOLUME NOVE Leandro Bertoldo / Libro electrónico Adobe ePub DRM
common.buy 2.49 €
BLUEY. BUENAS NOCHES, MURCIELAGO DE LA FRUTA BBC STUDIOS / Libro Libro
common.buy 10.29 €
Was wissen sie vom Freisein Esther Hansen / Libro Tapa dura
common.buy 23.09 €
Pädagogische Kompetenz eines Lehrers der beruflichen Bildung Ozoda Safibullaevna Abdullaeva / Libro Tapa blanda
common.buy 37.39 €
Авонлейские хроники. Подарочное издание Люси Мод Монтгомери / Libro Tapa dura
common.buy 19.19 €
Antes de Watchmen: Moloch O.C. STRACZYNSKI / Libro Tapa blanda
common.buy 4.59 €
Des Menschen bester Freund Fabian Elfeld / Libro Tapa blanda
common.buy 13.99 €
Le Sar Rabin Dranath Duval Dac / Audiolibro MP3
common.buy 4.29 €
Andělé všedního dne Michal Viewegh / Libro Tapa dura
common.buy 10.59 €
1895, N 16/JUIN 1994 Libro Tapa blanda
common.buy 20.39 €
Mavi Günes Sari Gökyüzü Cep Boy Jamie Jo H. / Libro Tapa blanda
common.buy 10.09 €
Kayip Papirüs Christa Holtei / Libro Tapa blanda
common.buy 11.19 €
Popular
Cuentos Completos / Complete Short Stories: Jorge Luis Borges Jorge Luis Borges / Libro Tapa blanda
common.buy 16.49 €
Leibniz und Kant Jürgen Mittelstraß / Libro Tapa dura
common.buy 216.79 €
Manzul de Vant: Roman Pentru Copii Petre Ghelmez / Libro Tapa blanda
common.buy 10.69 €
101 preguntas a Ramiro Calle Ramiro Calle / Libro Tapa blanda
common.buy 16.09 €
La cuina dels bolets SERGI DE MEIA / Libro Tapa blanda
common.buy 27.69 €
Cero limites / Zero Limits Joe Vitale / Libro Tapa blanda
common.buy 15.19 €
Reescalonamento dinamico de processos Gomes Roberto De Quadros / Libro Tapa blanda
common.buy 63.89 €
Fosses Septiques Et Puits d'Eau Potable Amine Belbahi / Libro Tapa blanda
common.buy 39.39 €
UNESCO-Weltnaturerbestatten in Deutschland - Typisierung und Vermarktung Yvonne Kirchhöfer / Libro Tapa blanda
common.buy 17.89 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Formal Methods for Discrete-Time Dynamical Systems
Autor Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2017
Número de páginas 284
EAN 9783319507620
ISBN 9783319507620
Código Libristo 15460068
Editores Springer International Publishing AG
Peso 5797
Dimensiones 155 x 235 x 23

Categorías

Consulta, información y materias interdisciplinares > Investigación e información: general > Teoría de la información > Cibernética y teoría de sistemas
Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático
Tecnología, ingeniería, agricultura, procedimientos industriales > Tecnología: cuestiones generales > Ingeniería: general
Computación e informática > Ciencias de la computación > Análisis y diseño de sistemas
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Information Security and Cryptology - ICISC 2015 Soonhak Kwon / Libro Tapa blanda
common.buy 56.59 €
Becoming a Kink Aware Therapist Caroline Shahbaz / Libro Tapa dura
common.buy 90.49 €
Italian Cook Book Olga Ragusa / Libro Tapa blanda
common.buy 16.09 €
Prayer of the Black Bear Eddie Salas / Libro electrónico Adobe ePub DRM
common.buy 4.89 €
A Cruise Across Europe: Notes On A Freshwater Voyage From Holland To The Black Sea (1907) Donald Maxwell / Libro Tapa blanda
common.buy 22.59 €
The Camera Fiend E W Hornung / Libro Tapa blanda
common.buy 9.59 €
The Waverley Novels; Volume 8 Sir Walter Scott / Libro Tapa dura
common.buy 37.69 €
House with a Clock in Its Walls John Bellairs / Libro Tapa blanda
common.buy 9.39 €
Premonition Code Theresa Cheung / Libro Tapa blanda
common.buy 14.99 €
Strength Training NOT Bodybuilding Marc McLean / Libro Tapa blanda
common.buy 14.49 €
Busty Barbarian Bimbos: A lighthearted fantasy roleplaying game for snickering adolescents John Fitzgerald / Libro Tapa blanda
common.buy 20.09 €
Oboe Solos: Four Pieces for Oboe with Piano Accompaniment Javier Marco / Libro Tapa blanda
common.buy 9.79 €
Live Healthy: improve your lifestyle Dr Erick Collado Luna / Libro Tapa blanda
common.buy 8.89 €
Path of Christianity - The First Thousand Years John Anthony McGuckin / Libro Tapa dura
common.buy 58.99 €
Walden / Civil Disobedience / and Other Writings Henry David Thoreau / Libro Tapa blanda
common.buy 21.39 €
Bureaucrats and Politicians in Western Democracies Joel D. Aberbach / Libro Tapa blanda
common.buy 49.39 €
Active Citizenship and Multiple Identities in Europe Danny Wildemeersch / Libro Tapa blanda
common.buy 113.09 €
Blackwell International Encyclopedia of Communication 12 Vol Set Wolfgang Donsbach / Libro Tapa dura
common.buy 3 144.79 €
Self-Organization and Green Applications in Cognitive Radio Networks Anwer Al-Dulaimi / Libro Tapa dura
common.buy 219.09 €
Handbook for Administrators and Executors of Estates B Gene Bowyer / Libro Tapa blanda
common.buy 9.59 €
"From Sun-Up to Sun-Down" M M Whelan / Libro Tapa blanda
common.buy 16.39 €
Colonised Coasts Daniel A. Bergquist / Libro Tapa blanda
common.buy 73.09 €
Introduction to Satellite Communication Bruce R. Elbert / Libro Tapa dura
common.buy 142.09 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?