Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings: 14138 (Lecture Notes in Computer Science) - Tapa blanda

9783031426254: Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings: 14138 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3031426258 ISBN 13: 9783031426254

Editorial: Springer, 2023

Ver todas las copias de esta edici�n del ISBN

This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length.

The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems.

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

EditorialSpringer
A�o de publicaci�n2023
ISBN 10 3031426258
ISBN 13 9783031426254
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de edici�n1
N�mero de p�ginas196
EditorPetrucci Laure, Sproston Jeremy
Contacto del fabricanteno disponible

Comprar nuevo

Ver este art�culo

EUR 62,11

Convertir moneda

EUR 4,72 gastos de env�o desde Reino Unido 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: 21st...

Imagen de archivo

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings (Lecture Notes in Computer Science)

Publicado por Springer, 2023

ISBN 10: 3031426258 ISBN 13: 9783031426254

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: ria9783031426254_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

Jeremy Sproston

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

ISBN 10: 3031426258 ISBN 13: 9783031426254

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 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length.The papers deal withreal-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed,hybrid, and probabilistic systems. 196 pp. Englisch. N� de ref. del art�culo: 9783031426254

Contactar al vendedor

Comprar nuevo

EUR 58,84

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 : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Jeremy Sproston

Publicado por Springer Nature Switzerland, Springer International Publishing, 2023

ISBN 10: 3031426258 ISBN 13: 9783031426254

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 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length.The papers deal withreal-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed,hybrid, and probabilistic systems. N� de ref. del art�culo: 9783031426254

Contactar al vendedor

Comprar nuevo

EUR 58,84

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 del vendedor

Formal Modeling and Analysis of Timed Systems

Publicado por Springer Nature Switzerland, 2023

ISBN 10: 3031426258 ISBN 13: 9783031426254

Nuevo Kartoniert / Broschiert

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 4 de 5 estrellas

Kartoniert / Broschiert. 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 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed. N� de ref. del art�culo: 959198584

Contactar al vendedor

Comprar nuevo

EUR 53,17

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: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings (Lecture Notes in Computer Science)

Publicado por Springer, 2023

ISBN 10: 3031426258 ISBN 13: 9783031426254

Nuevo Tapa blanda

Librería: California Books, Miami, FL, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: I-9783031426254

Contactar al vendedor

Comprar nuevo

EUR 66,99

Convertir moneda

Gastos de env�o: EUR 7,03

De Estados Unidos de America 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

Jeremy Sproston

Publicado por Springer Nature Switzerland, Springer Nature Switzerland Aug 2023, 2023

ISBN 10: 3031426258 ISBN 13: 9783031426254

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 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length. The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch. N� de ref. del art�culo: 9783031426254

Contactar al vendedor