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

ISBN 10: 3030500853 ISBN 13: 9783030500856

Editorial: Springer, 2020

Nuevos Encuadernaci�n de tapa blanda

Librer�a: Ria Christie Collections, Uxbridge, Reino Unido Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 25 de marzo de 2015

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

In. N� de ref. del art�culo ria9783030500856_new

Denunciar este art�culo

Sinopsis:

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.

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

Detalles bibliogr�ficos

T�tulo: Formal Techniques for Distributed Objects, ...
Editorial: Springer
A�o de publicaci�n: 2020
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: New

Los mejores resultados en AbeBooks

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

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 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: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

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

Contactar al vendedor

Comprar nuevo

EUR 65,93

EUR 3,40 shipping
Se env�a dentro de Estados Unidos de America

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

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

Contactar al vendedor

Comprar nuevo

EUR 68,47

EUR 17,68 shipping
Se env�a de Reino Unido a Estados Unidos de America

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

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

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

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