Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th ... 12719 (Programming and Software Engineering) - Tapa blanda

9783030780883: Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th ... 12719 (Programming and Software Engineering)

Tapa blanda

ISBN 10: 3030780880 ISBN 13: 9783030780883

Editorial: Springer, 2021

Ver todas las copias de esta edici�n del ISBN

This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.

The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.

Due to the Corona pandemic this event was held virtually.

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

EditorialSpringer
A�o de publicaci�n2021
ISBN 10 3030780880
ISBN 13 9783030780883
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de edici�n1
N�mero de p�ginas260
EditorPeters Kirstin, Willemse Tim A. C.
Contacto del fabricanteno disponible

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

Resultados de la b�squeda para Formal Techniques for Distributed Objects, Components,...

Imagen del vendedor

Formal Techniques for Distributed Objects, Components, and Systems

Tim A. C. Willemse

Publicado por Springer International Publishing Jun 2021, 2021

ISBN 10: 3030780880 ISBN 13: 9783030780883

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 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.Due to the Corona pandemic this event was held virtually. 260 pp. Englisch. N� de ref. del art�culo: 9783030780883

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 Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14�18, 2021, Proceedings

Tim A. C. Willemse

Publicado por Springer International Publishing, 2021

ISBN 10: 3030780880 ISBN 13: 9783030780883

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 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.Due to the Corona pandemic this event was held virtually. N� de ref. del art�culo: 9783030780883

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 Techniques for Distributed Objects, Components, and Systems (Programming and Software Engineering)

Publicado por Springer, 2021

ISBN 10: 3030780880 ISBN 13: 9783030780883

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

Contactar al vendedor

Comprar nuevo

EUR 61,11

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

Publicado por Springer, Berlin|Springer International Publishing|Springer, 2021

ISBN 10: 3030780880 ISBN 13: 9783030780883

Nuevo Kartoniert / Broschiert

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 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 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Fe. N� de ref. del art�culo: 471549919

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 Techniques for Distributed Objects, Components, and Systems (Programming and Software Engineering)

Publicado por Springer, 2021

ISBN 10: 3030780880 ISBN 13: 9783030780883

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

Contactar al vendedor

Comprar nuevo

EUR 66,13

Convertir moneda

Gastos de env�o: EUR 6,94

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

Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th . (Lecture Notes in Computer Science, 12719)

Kirstin Peters,Tim A. C. Willemse

Publicado por Springer 2021-06-10, 2021

ISBN 10: 3030780880 ISBN 13: 9783030780883

Nuevo Paperback

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: New. N� de ref. del art�culo: 6666-IUK-9783030780883

Contactar al vendedor

Comprar nuevo

EUR 58,03

Convertir moneda

Gastos de env�o: EUR 17,50

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen del vendedor

Formal Techniques for Distributed Objects, Components, and Systems

Tim A. C. Willemse

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

ISBN 10: 3030780880 ISBN 13: 9783030780883

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 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.Due to the Corona pandemic this event was held virtually.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch. N� de ref. del art�culo: 9783030780883

Contactar al vendedor