Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings - Couverture souple
Synopsis
This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021.
The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks. The papers focus on topics such as probabilistic computation, logic and verification, robotic planning, complexity of timed pattern matching, safety violations in real-time systems, modal and temporal logics, and others.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Formal Modeling and Analysis of Timed Systems: 19th...
Image d'archives
Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings (Theoretical Computer Science and General Issues)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020031618
Acheter neuf
EUR 52,91
Frais de port :
EUR 3,46
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings (Theoretical Computer Science and General Issues)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783030850364_new
Acheter neuf
EUR 57,55
Frais de port :
EUR 13,63
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings: 12860 (Lecture Notes in Computer Science, 12860)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783030850364
Acheter neuf
EUR 55,68
Frais de port :
EUR 17,62
De Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Formal Modeling and Analysis of Timed Systems
Edité par
Springer International Publishing Aug 2021, 2021
ISBN 10 : 3030850366
ISBN 13 : 9783030850364
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021.The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks. The papers focus on topics such asprobabilistic computation, logic and verification, robotic planning, complexity of timed pattern matching, safety violations in real-time systems, modal and temporal logics, and others. 168 pp. Englisch. N° de réf. du vendeur 9783030850364
Acheter neuf
EUR 53,49
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24?26, 2021, Proceedings (Theoretical Computer Science and General Issues)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 1st ed. 2021 edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26387997851
Acheter neuf
EUR 74,53
Frais de port :
EUR 3,46
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24?26, 2021, Proceedings (Theoretical Computer Science and General Issues)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 391634756
Acheter neuf
EUR 77,89
Frais de port :
EUR 7,39
De Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24?26, 2021, Proceedings (Theoretical Computer Science and General Issues)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18387997841
Acheter neuf
EUR 78,40
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Modeling and Analysis of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 23-26, 2021, Proceedings
Edité par
Springer-Nature New York Inc, 2021
ISBN 10 : 3030850366
ISBN 13 : 9783030850364
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 166 pages. 9.25x6.10x0.36 inches. In Stock. N° de réf. du vendeur x-3030850366
Acheter neuf
EUR 77,24
Frais de port :
EUR 11,37
De Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Formal Modeling and Analysis of Timed Systems
Edité par
Springer, Berlin|Springer International Publishing|Springer, 2021
ISBN 10 : 3030850366
ISBN 13 : 9783030850364
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021. The 8 full papers that were carefully reviewed and selected from 19 . N° de réf. du vendeur 486986213
Acheter neuf
EUR 48,37
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Modeling and Analysis of Timed Systems
ISBN 10 : 3030850366
ISBN 13 : 9783030850364
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021.The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks. The papers focus on topics such as probabilistic computation, logic and verification, robotic planning, complexity of timed pattern matching, safety violations in real-time systems, modal and temporal logics, and others.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch. N° de réf. du vendeur 9783030850364
Acheter neuf
EUR 53,49
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)