Importe total (1 artículo artículos):
Destino del pedido:
formal techniques distributed systems (359 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (359)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (294)
- Como nuevo, Excelente o Muy bueno (45)
- Bueno o Aceptable (15)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (5)
Encuadernación
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (141)
- No impresión bajo demanda (278)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Formal Techniques for Distributed Objects, Components, and Systems
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 3,00
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 2018. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2018. Ammareal gives back up to 15% of this item's net price to charity organizations.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,66
Usado desde EUR 9,00
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Objects, Components, and Systems
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 3,00
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 2017. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2017. Ammareal gives back up to 15% of this item's net price to charity organizations.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 9,00
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Systems: Joint 12th Ifip Wg 6.1 International Conference, Fmoods 2010 and 30th Ifip Wg 6.1 International C
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010
ISBN 10: 3642134637 ISBN 13: 9783642134630
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 3,00
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 83,57
Usado desde EUR 9,00
Encuentre también Tapa blanda
-
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference Paris, France, September 26-
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2006
ISBN 10: 3540462198 ISBN 13: 9783540462194
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 3,00
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 117,21
Usado desde EUR 9,00
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Objects, Components, and Systems
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 3,00
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 2015. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2015. Ammareal gives back up to 15% of this item's net price to charity organizations.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 9,00
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Systems: Joint 13th Ifip Wg 6.1 International Conference, Fmoods 2011, and 30th Ifip Wg 6.1 International
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2011
ISBN 10: 3642214606 ISBN 13: 9783642214608
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 3,00
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 2011. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2011. Ammareal gives back up to 15% of this item's net price to charity organizations.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 68,23
Usado desde EUR 9,00
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Objects, Components, and Systems
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 3,00
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 2016. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2016. Ammareal gives back up to 15% of this item's net price to charity organizations.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 9,00
Encuentre también Tapa blanda
-
Formal Techniques for Networked and Distributed Systems- FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 200
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2008
ISBN 10: 3540688544 ISBN 13: 9783540688549
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 3,00
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 28,93
Usado desde EUR 9,00
Encuentre también Tapa blanda
-
Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL (Wiley Series in Communication and Distributed Systems)
Librería: WeBuyBooks, Rossendale, LANCS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 1,72
Convertir monedaEUR 9,67 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Ex library copy with usual stamps & stickers.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 11,39
Encuentre también Tapa blanda
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, . (Lecture Notes in Computer Science)
Publicado por Springer Berlin Heidelberg, 2002
ISBN 10: 3540001417 ISBN 13: 9783540001416
Idioma: Inglés
Librería: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 2,24
Convertir monedaEUR 11,70 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Gebraucht - Wie neu sehr gut erhalten; Rechnung mit MwSt.; Bestellungen bis 15 Uhr werden am gleichen Werktag verschickt. ;.This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. -This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. 388 pp. Englisch.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 13,94
Usado desde EUR 89,39
Encuentre también Tapa blanda
-
Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain September 2004 Proceedings
Publicado por Springer Berlin / Heidelberg, 2004
ISBN 10: 3540232524 ISBN 13: 9783540232520
Idioma: Inglés
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 13,78
Convertir monedaEUR 19,08 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. 2004th Edition. Used book that is in excellent condition. May show signs of wear or have minor defects.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 32,86
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Systems: Joint Ifip Wg 6.1 International Conference, Fmoods/Forte 2013, Held as Part of the 8th International Federa
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 28,90
Convertir monedaEUR 6,73 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.04.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 35,63
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th . (Lecture Notes in Computer Science, 11535)
Librería: Gardner's Used Books, Inc., Tulsa, OK, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 8,83
Convertir monedaEUR 27,56 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. Good condition. Pages are clean and unmarked. Little to no edgewear. Tulsa's largest used bookstore. Located on South Mingo Road since 1991. No-hassle return policy if not completely satisfied.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 78,05
Usado desde EUR 36,39
Encuentre también Tapa blanda
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science)
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 40,43
Convertir monedaEUR 9,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Auflage: 2007. 392 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969 23,1 x 16,5 x 2,0 cm, Taschenbuch.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 49,43
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Systems Lecture Notes in Computer Science, Band 5522
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 44,95
Convertir monedaEUR 7,95 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoBroschiert. Condición: Gut. 248 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 415.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,66
Usado desde EUR 52,90
Encuentre también Tapa blanda
-
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
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 52,52
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
Publicado por Springer Berlin Heidelberg, 2012
ISBN 10: 3642307922 ISBN 13: 9783642307928
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 41,68
Convertir monedaEUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 284 | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 56,58
Encuentre también Tapa blanda
-
Formal Techniques for Networked and Distributed Systems: FORTE 2001
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 54,29
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 59,30
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13¿17, 2022, P
Publicado por Springer International Publishing, 2022
ISBN 10: 3031086783 ISBN 13: 9783031086786
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 48,99
Convertir monedaEUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 81,51
Usado desde EUR 63,89
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Publicado por Springer Berlin Heidelberg, 2014
ISBN 10: 3662436124 ISBN 13: 9783662436127
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 136,33
Encuentre también Tapa blanda
-
Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003
Publicado por Springer Berlin Heidelberg, 2003
ISBN 10: 3540201750 ISBN 13: 9783540201755
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29-October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a s- ond series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Two years ago the conference name was changed to its current form. The last ve meetings of this long conference series were held in Paris, France (1998), Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), and Houston, USA (2002). The 23rd FORTE conference was especially dedicated to the application of formal description techniques to practice, especially in the Internet and c- munication domain. The scope of the papers presented at FORTE 2003 covered the application of formal techniques, timed automata, FDT-based design, v- i cation and testing of communication systems and distributed systems, and the veri cation of security protocols. In addition, work-in-progress papers were presented which have been published in a separate volume.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 81,79
Encuentre también Tapa blanda
-
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
Publicado por Springer International Publishing, 2021
ISBN 10: 3030780880 ISBN 13: 9783030780883
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. 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.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Encuentre también Tapa blanda
-
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
Publicado por Springer Nature Switzerland, 2023
ISBN 10: 3031353544 ISBN 13: 9783031353543
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 52,63
Convertir monedaEUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Seiten: 240 | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 78,05
Usado desde EUR 67,53
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Objects, Components, and Systems : 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Publicado por Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031954963 ISBN 13: 9783031954962
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 62,05
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, during June 16 20, 2025.The 8 full papers and 5 short papers included in this book were carefully reviewed and selected from 25 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 73,05
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Objects, Components, and Systems (Programming and Software Engineering)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 72,86
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 78,05
Encuentre también Tapa blanda
-
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, . / Programming and Software Engineering)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,12
Convertir monedaEUR 64,58 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 121,37
Usado desde EUR 76,70
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Objects, Components, and Systems : 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Publicado por Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10: 3031626443 ISBN 13: 9783031626449
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 74,89
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held in Groningen, The Netherlands, in June 2024, as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024 during June 17-21, 2024.The 11 full papers and 2short papers included in this book were carefully reviewed and selected from 33 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed systems.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 85,89
Encuentre también Tapa blanda
-
Formal Techniques for Distributed Objects, Components, and Systems: 11th International Symposium, Isbra 2015 Norfolk, USA, June 7-10, 2015 Proceedings
Publicado por Springer-Verlag New York Inc, 2015
ISBN 10: 3319190474 ISBN 13: 9783319190471
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 80,96
Convertir monedaEUR 11,55 gastos de envío desde Reino Unido a EspañaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2015 edition. 451 pages. 9.25x6.25x1.25 inches. In Stock.
-
Formal Techniques For Networked And Distributed Systems
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 134,00
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 134,00
Usado desde EUR 145,80
Encuentre también Tapa dura
-
Formal Methods for Distributed System Development : Forte/Pstv 2000 Ifip Tc6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 205,79
Convertir monedaEUR 17,21 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 223,00
Usado desde EUR 298,18
Encuentre también Tapa dura
