Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th ... 12136 (Programming and Software Engineering) - Tapa blanda

9783030500856: Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th ... 12136 (Programming and Software Engineering)

Tapa blanda

ISBN 10: 3030500853 ISBN 13: 9783030500856

Editorial: Springer, 2020

Ver todas las copias de esta edici�n del ISBN

This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.*

The 10 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

*The conference was held virtually due to the COVID-19 pandemic.

Chapter ‘Conformance-Based Doping Detection for Cyber-Physical Systems’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

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

EditorialSpringer
A�o de publicaci�n2020
ISBN 10 3030500853
ISBN 13 9783030500856
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de edici�n1
N�mero de p�ginas252
EditorGotsman Alexey, Sokolova Ana
Contacto del fabricanteno disponible

Comprar nuevo

Ver este art�culo

EUR 73,71

Convertir moneda

EUR 4,65 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 Techniques for Distributed Objects, Components,...

Imagen de archivo

Formal Techniques for Distributed Objects, Components, and Systems (Programming and Software Engineering)

Publicado por Springer, 2020

ISBN 10: 3030500853 ISBN 13: 9783030500856

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

Contactar al vendedor

Comprar nuevo

EUR 73,71

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 Techniques for Distributed Objects, Components, and Systems

Ana Sokolova

Publicado por Springer International Publishing Jun 2020, 2020

ISBN 10: 3030500853 ISBN 13: 9783030500856

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 252 pp. Englisch. N� de ref. del art�culo: 9783030500856

Contactar al vendedor

Comprar nuevo

EUR 69,54

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 Techniques for Distributed Objects, Components, and Systems

Gotsman, Alexey|Sokolova, Ana

Publicado por Springer International Publishing, 2020

ISBN 10: 3030500853 ISBN 13: 9783030500856

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 proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated C. N� de ref. del art�culo: 385700355

Contactar al vendedor

Comprar nuevo

EUR 61,55

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

Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15�19, 2020, Proceedings

Ana Sokolova

Publicado por Springer International Publishing, 2020

ISBN 10: 3030500853 ISBN 13: 9783030500856

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. N� de ref. del art�culo: 9783030500856

Contactar al vendedor

Comprar nuevo

EUR 69,54

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 Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th I

Gotsman, Alexey

Publicado por Springer 2020-06, 2020

ISBN 10: 3030500853 ISBN 13: 9783030500856

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-9783030500856

Contactar al vendedor

Comprar nuevo

EUR 67,78

Convertir moneda

Gastos de env�o: EUR 17,52

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 Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th . (Lecture Notes in Computer Science)

Publicado por Springer, 2020

ISBN 10: 3030500853 ISBN 13: 9783030500856

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. 237. N� de ref. del art�culo: 26379018389

Contactar al vendedor

Comprar nuevo

EUR 94,01

Convertir moneda

Gastos de env�o: EUR 10,02

De Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Imagen del vendedor

Formal Techniques for Distributed Objects, Components, and Systems

Ana Sokolova

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

ISBN 10: 3030500853 ISBN 13: 9783030500856

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch. N� de ref. del art�culo: 9783030500856

Contactar al vendedor