Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings: 12860 (Theoretical Computer Science and General Issues) - Tapa blanda

9783030850364: Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings: 12860 (Theoretical Computer Science and General Issues)

Tapa blanda

ISBN 10: 3030850366 ISBN 13: 9783030850364

Editorial: Springer, 2021

Ver todas las copias de esta edici�n del ISBN

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.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

EditorialSpringer
A�o de publicaci�n2021
ISBN 10 3030850366
ISBN 13 9783030850364
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de edici�n1
N�mero de p�ginas168
EditorDima Catalin, Shirmohammadi Mahsa
Contacto del fabricanteno disponible

Comprar nuevo

Ver este art�culo

EUR 53,49

Convertir moneda

EUR 11,00 gastos de env�o desde Alemania a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Formal Modeling and Analysis of Timed Systems: 19th...

Imagen del vendedor

Formal Modeling and Analysis of Timed Systems

Mahsa Shirmohammadi

Publicado por Springer International Publishing Aug 2021, 2021

ISBN 10: 3030850366 ISBN 13: 9783030850364

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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 ref. del art�culo: 9783030850364

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 11,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Formal Modeling and Analysis of Timed Systems : 19th International Conference, FORMATS 2021, Paris, France, August 24�26, 2021, Proceedings

Mahsa Shirmohammadi

Publicado por Springer International Publishing, 2021

ISBN 10: 3030850366 ISBN 13: 9783030850364

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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. N� de ref. del art�culo: 9783030850364

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

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)

Publicado por Springer, 2021

ISBN 10: 3030850366 ISBN 13: 9783030850364

Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. In. N� de ref. del art�culo: ria9783030850364_new

Contactar al vendedor

Comprar nuevo

EUR 62,11

Convertir moneda

Gastos de env�o: EUR 4,72

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Formal Modeling and Analysis of Timed Systems

Publicado por Springer, Berlin|Springer International Publishing|Springer, 2021

ISBN 10: 3030850366 ISBN 13: 9783030850364

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: 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 ref. del art�culo: 486986213

Contactar al vendedor

Comprar nuevo

EUR 48,74

Convertir moneda

Gastos de env�o: EUR 19,49

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

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)

Catalin Dima,Mahsa Shirmohammadi

Publicado por Springer 2021-08-09, 2021

ISBN 10: 3030850366 ISBN 13: 9783030850364

Nuevo Paperback

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: New. N� de ref. del art�culo: 6666-IUK-9783030850364

Contactar al vendedor

Comprar nuevo

EUR 58,64

Convertir moneda

Gastos de env�o: EUR 17,79

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen del vendedor

Formal Modeling and Analysis of Timed Systems

Mahsa Shirmohammadi

Publicado por Springer International Publishing, Springer Nature Switzerland Aug 2021, 2021

ISBN 10: 3030850366 ISBN 13: 9783030850364

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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 ref. del art�culo: 9783030850364

Contactar al vendedor