Articoli correlati a Formal Modeling and Analysis of Timed Systems: 19th...
Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings: 12860 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Formal Modeling and Analysis of Timed Systems: 19th...
Immagini fornite dal venditore
Formal Modeling and Analysis of Timed Systems
Editore:
Springer, Berlin|Springer International Publishing|Springer, 2021
ISBN 10: 3030850366
ISBN 13: 9783030850364
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: 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 . Codice articolo 486986213
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Modeling and Analysis of Timed Systems
Editore:
Springer International Publishing Aug 2021, 2021
ISBN 10: 3030850366
ISBN 13: 9783030850364
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783030850364
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Modeling and Analysis of Timed Systems : 19th International Conference, FORMATS 2021, Paris, France, August 24¿26, 2021, Proceedings
Editore:
Springer International Publishing, 2021
ISBN 10: 3030850366
ISBN 13: 9783030850364
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783030850364
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Modeling and Analysis of Timed Systems
ISBN 10: 3030850366
ISBN 13: 9783030850364
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783030850364
Quantità: 2 disponibili
Foto dell'editore
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)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783030850364_new
Quantità: Più di 20 disponibili
Foto dell'editore
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)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783030850364
Quantità: 10 disponibili
Foto dell'editore
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)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Codice articolo 26387997851
Quantità: 4 disponibili
Foto dell'editore
Formal Modeling and Analysis of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 23-26, 2021, Proceedings
Editore:
Springer-Nature New York Inc, 2021
ISBN 10: 3030850366
ISBN 13: 9783030850364
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 166 pages. 9.25x6.10x0.36 inches. In Stock. Codice articolo x-3030850366
Quantità: 2 disponibili
Foto dell'editore
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)
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 391634756
Quantità: 4 disponibili
Foto dell'editore
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)
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND. Codice articolo 18387997841
Quantità: 4 disponibili