Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings: 12288 (Theoretical Computer Science and General Issues) - Tapa blanda

9783030576271: Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings: 12288 (Theoretical Computer Science and General Issues)

Tapa blanda

ISBN 10: 3030576272 ISBN 13: 9783030576271

Editorial: Springer, 2020

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 35,81

11 Nuevo

De EUR 53,49

This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020.
The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints.

Due to the Corona pandemic this conference was held as a virtual event.

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

EditorialSpringer
A�o de publicaci�n2020
ISBN 10 3030576272
ISBN 13 9783030576271
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de edici�n1
N�mero de p�ginas312
EditorBertrand Nathalie, Jansen Nils
Contacto del fabricanteno disponible

Comprar usado

Zustand: Hervorragend | Seiten:...

Ver este art�culo

EUR 35,81

Convertir moneda

EUR 14,90 gastos de env�o desde Alemania a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

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

Otras ediciones populares con el mismo t�tulo

9783030576295: Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Edici�n Destacada

ISBN 10: 3030576299 ISBN 13: 9783030576295
Editorial: Springer, 2020
Tapa blanda

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

Imagen de archivo

Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1�3, 2020, Proceedings

Unbekannt

Publicado por Springer International Publishing, 2020

ISBN 10: 3030576272 ISBN 13: 9783030576271

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Hervorragend. Zustand: Hervorragend | Seiten: 312 | Sprache: Englisch | Produktart: B�cher. N� de ref. del art�culo: 36763116/1

Contactar al vendedor

Comprar usado

EUR 35,81

Convertir moneda

Gastos de env�o: EUR 14,90

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

Nils Jansen

Publicado por Springer International Publishing Aug 2020, 2020

ISBN 10: 3030576272 ISBN 13: 9783030576271

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 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints.Due to the Corona pandemic this conference was held as a virtual event. 312 pp. Englisch. N� de ref. del art�culo: 9783030576271

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 : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1�3, 2020, Proceedings

Nils Jansen

Publicado por Springer International Publishing, 2020

ISBN 10: 3030576272 ISBN 13: 9783030576271

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 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints.Due to the Corona pandemic this conference was held as a virtual event. N� de ref. del art�culo: 9783030576271

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: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings (Theoretical Computer Science and General Issues)

Publicado por Springer, 2020

ISBN 10: 3030576272 ISBN 13: 9783030576271

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

Contactar al vendedor

Comprar nuevo

EUR 61,12

Convertir moneda

Gastos de env�o: EUR 4,65

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 International Publishing, 2020

ISBN 10: 3030576272 ISBN 13: 9783030576271

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 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 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this vo. N� de ref. del art�culo: 448685023

Contactar al vendedor

Comprar nuevo

EUR 48,37

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 : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Bertrand, Nathalie

Publicado por Springer 2020-08, 2020

ISBN 10: 3030576272 ISBN 13: 9783030576271

Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

PF. Condici�n: New. N� de ref. del art�culo: 6666-IUK-9783030576271

Contactar al vendedor

Comprar nuevo

EUR 61,59

Convertir moneda

Gastos de env�o: EUR 17,51

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen de archivo

Formal Modeling and Analysis of Timed Systems

Publicado por Springer, 2020

ISBN 10: 3030576272 ISBN 13: 9783030576271

Nuevo Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: New. pp. X, 301 657 illus., 55 illus. in color. 1 Edition NO-PA16APR2015-KAP. N� de ref. del art�culo: 26384557596

Contactar al vendedor

Comprar nuevo

EUR 77,39

Convertir moneda

Gastos de env�o: EUR 9,91

De Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Imagen de archivo

Formal Modeling and Analysis of Timed Systems

Publicado por Springer, 2020

ISBN 10: 3030576272 ISBN 13: 9783030576271

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: Majestic Books, Hounslow, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. Print on Demand pp. X, 301 657 illus., 55 illus. in color. N� de ref. del art�culo: 379346371

Contactar al vendedor

Comprar nuevo

EUR 77,35

Convertir moneda

Gastos de env�o: EUR 10,34

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Imagen del vendedor

Formal Modeling and Analysis of Timed Systems

Nils Jansen

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

ISBN 10: 3030576272 ISBN 13: 9783030576271

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 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020.The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints.Due to the Corona pandemic this conference was held as a virtual event.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch. N� de ref. del art�culo: 9783030576271

Contactar al vendedor