Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th . DisCoTec 2023, Lisbon, Portugal, J
ISBN 10: 3031353560 ISBN 13: 9783031353567
Editorial: Springer, 2023
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 libro ya no está disponible. Sin embargo, AbeBooks ofrece millones de libros. Escriba otros términos de búsqueda a continuación para encontrar ejemplares similares.
Descripción
Descripción:
In. N° de ref. del artículo ria9783031353567_new
Sinopsis:
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.
"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: 2023
Encuadernación: Encuadernación de tapa blanda
Condición: New
IberLibro.com es un mercado online donde puede comprar millones de libros antiguos, nuevos, usados, raros y agotados. Le ponemos en contacto con miles de librerías de todo el mundo. Comprar en IberLibro es fácil y 100% seguro. Busque un libro, realice el pedido a través de nuestra página con toda confianza y recíbalo directamente de la librería.
Busque entre millones de libros de miles de librerías
Libros usados
Bestsellers rebajados, autores destacados y una gran variedad de libros por menos de 5 €. Si su pasatiempo es leer, éste es su espacio.
Libros antiguos y de colección
Compendio vital para el amante del libro antiguo: libros firmados, primeras ediciones, facsímiles, librerías anticuarias o destacados.
Libros con envío gratis
Gastos de envío gratuitos para miles de libros nuevos, antiguos y de ocasión. Sin compra mínima.