Formal Aspects of Component Software- 9783031712609

Shipping from 1,99€
tc Pay Accepts tc Pay

Condition of the lot: Very Good (new or like new, without any signs of use)

: Este libro presenta las actas de la 20ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2024, celebrada en Milán, Italia, del 9 al 10 de septiembre de 2024. Los 7 artículos completos y 1 artículo corto incluidos en este libro fueron cuidadosamente revisados y seleccionados de 16 presentaciones. Están organizados en secciones temáticas de la siguiente manera: verificación y pruebas, modelos formales y seguridad y blockchain. Este libro es un recurso valioso para investigadores y profesionales interesados en los aspectos formales del software de componentes. EAN: 9783031712609 Tipo: Libros Categoría: Tecnología Título: Formal Aspects of Component Software Autor: Diego Marmsoler| Meng Sun Editorial: Springer Idioma: en Páginas: 138 Formato: tapa blanda
Hamelyn
avatar hamelyntechnologies
From 19/09/2022
Spain (Madrid)
Seller registered as a professional.
19,69 €

See more lots about En

books: Nuestra bodega. Vinos de La Mancha - René H. Montarcé-Rieu
Unclassified used books
8,00 €
Accepts offers
books: Rick Steves Istanbul- 9781641713672
Unclassified used books
11,28 €
books: Strategic Retailing Management: A Case Study Approach - David W. Walters -15%
Unclassified used books
4,07 € 4,79 €
books: SCHMIDT-HÄUER, Christian.- - Los rusos de hoy.
Unclassified used books
7,20 €
books: Pictorial archive of lace designs - Belanger Grafton,Carol
Unclassified used books
8,00 €
Accepts offers
books: English idioms and how to use them - Jennifer Seidl
Unclassified used books
10,99 €
Accepts offers
books: Chicago then and now - Elizabeth McNulty
Unclassified used books
16,00 €
books: Heart of Courage- 9780778326090
Unclassified used books
5,99 €
books: FutureVision: Ideas, Insights, and Strategies - Howard F. Didsbury
Unclassified used books
10,00 €
Accepts offers
books: Gramática sucinta de la lengua alemana. Método Gaspey Otto Sauer - Herder Gross -15%
Unclassified used books
8,26 € 9,72 €

See more lots about Springer

books: L´oie du capitole par Leo Claretie et A. Vimar - CLRETIE, LEO-VIMAR, A.
Unclassified used books
50,00 €
books: Computer Vision – ECCV 2024- 9783031730153
Unclassified used books
28,78 €
books: Advances in Swarm Intelligence- 9789819771837
Unclassified used books
16,95 €
books: Assessment-Center - Eck, Claus D. - Springer
Unclassified used books
37,83 €
Accepts offers
books: Mathematical Research for Blockchain Economy- 9783031689734
Unclassified used books
16,95 €
books: The Biology of Early Life Stress- 9783319725888
Unclassified used books
17,08 €
books: CARDIOLOGÍA EN EL DEPORTE CON 47 FIGURAS Y 27 TABLAS. J. R. SERRA GRIMA. SPRINGER. 1998.
Unclassified used books
20,00 €
Accepts offers
books: Expanding Access to Justice- 9783031690228
Unclassified used books
16,95 €
books: Cancer Staging Manual -15%
Unclassified used books
10,20 € 12,00 €
books: Transaction-Level Modeling with SystemC- 9780387262321
Unclassified used books
19,46 €