Formal Methods for Discrete-Time Dynamical Systems

Calin Belta, Ebru Aydin Gol, Boyan Yordanov

ISBN 10: 3319507621 ISBN 13: 9783319507620

Edit� par Springer International Publishing, 2017

Langue: anglais

Ancien(s) ou d'occasion Etat : Sehr gut Couverture rigide

Mettre de c�t�

Vendu par Buchpark, Trebbin, Allemagne

Vendeur AbeBooks depuis 30 septembre 2021

�valuation du vendeur 5 sur 5 �toiles

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Ancien(s) ou d'occasion - Couverture rigide

Etat : Sehr gut

Bonne affaire

Prix: EUR 88,09 Autre devise

EUR 9,90 exp�dition depuis Allemagne vers France Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Mettre de c�t�

A propos de cet article

Zustand: Sehr gut | Seiten: 304 | Sprache: Englisch | Produktart: B�cher.

N� de r�f. du vendeur 28092317/12

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

Formal Methods for Discrete-Time Dynamical Systems

�diteur

Springer International Publishing

Date de parution

2017

Langue

anglais

ISBN � 10 chiffres

3319507621

ISBN � 13 chiffres

9783319507620

Reliure

Couverture rigide

�tat de l'article

Sehr gut

Catalogues du vendeur

B�cher

A propos de ce titre

Synopsis

Transition Systems.- Temporal Logics and Automata.- Model Checking.- Largest Finite Satisfying Region.- Finite Temporal Logic Control.- Discrete-Time Dynamical Systems.- Largest Satisfying Region.- Parameter Synthesis.- Temporal Logic Control.- Finite Bisimulations.- Language Guided Controller Synthesis.- Optimal Temporal Logic Control.- Background.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Visitez la page d�accueil du vendeur