Formal Modeling and Analysis of Timed Systems

ISBN 10: 3031426258 ISBN 13: 9783031426254

Editorial: Springer, 2023

Impresi�n bajo demanda

Nuevos Encuadernaci�n de tapa blanda

Librer�a: Majestic Books, Hounslow, Reino Unido Calificaci�n del vendedor: 4 de 5 estrellas

Vendedor de AbeBooks desde 19 de enero de 2007

Este art�culo en concreto ya no est� disponible.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

Print on Demand pp. 196. N� de ref. del art�culo 397855518

Denunciar este art�culo

Sinopsis:

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.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Detalles bibliogr�ficos

T�tulo: Formal Modeling and Analysis of Timed Systems
Editorial: Springer
A�o de publicaci�n: 2023
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: New

Los mejores resultados en AbeBooks

Imagen del vendedor

Formal Modeling and Analysis of Timed Systems

Publicado por Springer Nature Switzerland, 2023

ISBN 10: 3031426258 ISBN 13: 9783031426254

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 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 52,76

EUR 48,99 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

M�s im�genes

Formal Modeling and Analysis of Timed Systems | 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci (u. a.)

Publicado por Springer, 2023

ISBN 10: 3031426258 ISBN 13: 9783031426254

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: preigu, Osnabr�ck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Comprar nuevo

EUR 54,90

EUR 70,00 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 5 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: 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 58,22

EUR 13,73 shipping
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: M�s de 20 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

EUR 61,53 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 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

EUR 23,00 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 2 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

Comprar nuevo

EUR 58,84

EUR 60,00 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen de archivo

Formal Modeling and Analysis of Timed Systems (Paperback)

Laure Petrucci

Publicado por Springer International Publishing AG, Cham, 2023

ISBN 10: 3031426258 ISBN 13: 9783031426254

Nuevo Paperback Original o primera edici�n

Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de ref. del art�culo: 9783031426254

Contactar al vendedor