Formal Methods For Discrete-Time Dynamical Systems Format Broché

Formal Methods for Discrete-Time Dynamical Systems - Belta, Calin

Format: Broché

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

244,67 €

Produit Neuf

Ou 61,17 € /mois

Livraison à 0,01 €
Livré entre le 25 juillet et le 6 août

Voir les modes de livraison

PRO Vendeur favori

4,9/5 sur + de 1 000 ventes

Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783319844855_dbm

Voir le détail de l'annonce

Nos autres offres

305,27 €

Produit Neuf

Ou 76,32 € /mois

En savoir plus
- Livraison : 3,99 €
- Livré entre le 24 et le 30 juillet
Voir les modes de livraison
M_plus_L

PRO

4,8/5 sur + de 1 000 ventes

Voir le détail de l'annonce

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Formal Methods For Discrete - Time Dynamical Systems Format Broché - Livre Littérature Générale

Note : 0 0 avis sur Formal Methods For Discrete - Time Dynamical Systems Format Broché - Livre Littérature Générale

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Formal Methods For Discrete - Time Dynamical Systems Format Broché
- Livre Littérature Générale

Livre Littérature Générale - Belta, Calin - 30/06/2018 - Broché - Langue : Anglais

Auteur(s) : Belta, Calin - Aydin Gol, Ebru - Yordanov, Boyan

Editeur : Springer International Publishing

Langue : Anglais

Parution : 30/06/2018

Format : Moyen, de 350g à 1kg

Nombre de pages : 304

Expédition : 464

Dimensions : 23.5 x 15.5 x 1.7

ISBN : 9783319844855

Résumé :
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.
...

Sommaire:
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.
...

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Formal Methods for Discrete-Time Dynamical Systems - Belta, Calin

Avis sur Formal Methods For Discrete - Time Dynamical Systems Format Broché - Livre Littérature Générale

Présentation Formal Methods For Discrete - Time Dynamical Systems Format Broché - Livre Littérature Générale

Présentation Formal Methods For Discrete - Time Dynamical Systems Format Broché
- Livre Littérature Générale