Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th ... J: 13910 (Lecture Notes in Computer Science) - Tapa blanda

9783031353543: Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th ... J: 13910 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3031353544 ISBN 13: 9783031353543

Editorial: Springer, 2023

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 47,37

9 Nuevo

De EUR 73,71

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.

The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.

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

EditorialSpringer
A�o de publicaci�n2023
ISBN 10 3031353544
ISBN 13 9783031353543
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de edici�n1
N�mero de p�ginas240
EditorHuisman Marieke, Ravara Ant�nio
Contacto del fabricanteno disponible

Comprar usado

Zustand: Hervorragend | Seiten:...

Ver este art�culo

EUR 47,37

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 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 : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19�23, 202

Unbekannt

Publicado por Springer Nature Switzerland, 2023

ISBN 10: 3031353544 ISBN 13: 9783031353543

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

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

Contactar al vendedor

Comprar usado

EUR 47,37

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

Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science)

Publicado por Springer, 2023

ISBN 10: 3031353544 ISBN 13: 9783031353543

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

Publicado por Springer Nature Switzerland, 2023

ISBN 10: 3031353544 ISBN 13: 9783031353543

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 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International F. N� de ref. del art�culo: 873621306

Contactar al vendedor

Comprar nuevo

EUR 65,94

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

Ant�nio Ravara

Publicado por Springer Nature Switzerland Jun 2023, 2023

ISBN 10: 3031353544 ISBN 13: 9783031353543

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 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets. 240 pp. Englisch. N� de ref. del art�culo: 9783031353543

Contactar al vendedor

Comprar nuevo

EUR 74,89

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 : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19�23, 2023, Proceedings

Ant�nio Ravara

Publicado por Springer Nature Switzerland, 2023

ISBN 10: 3031353544 ISBN 13: 9783031353543

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 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets. N� de ref. del art�culo: 9783031353543

Contactar al vendedor

Comprar nuevo

EUR 74,89

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

Formal Techniques for Distributed Objects, Components, and Systems

Ant�nio Ravara

Publicado por Springer Nature Switzerland, Springer Nature Switzerland Jun 2023, 2023

ISBN 10: 3031353544 ISBN 13: 9783031353543

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 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch. N� de ref. del art�culo: 9783031353543

Contactar al vendedor