Leveraging Applications of Formal Methods, Verification and Validation. Methods for Distributed Computing in Future Railway Systems: 13th ... (Lecture Notes Computer Science, 17142)

Precios a partir de
53,84

Enlaces patrocinados

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

Leveraging Applications of Formal Methods, Verification and Validation. Methods for Distributed Computing in Future Railway Systems: 13th ... (Lecture Notes Computer Science, 17142)

Description Descripción
Product Specifications Especificaciones del producto
Resultados relacionados Resultados relacionados
Next
Previous

Comparar tiendas web (2)

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

53,84 €

53,84 €

Descripción (0)

Leveraging Applications of Formal Methods, Verification and Validation. Methods for Distributed Computing in Future Railway Systems: 13th ... (Lecture Notes Computer Science, 17142)

Especificaciones del producto

Marca Springer Nature Switzerland AG
EAN
  • 9783032401106

Springer Nature Switzerland AG

Leveraging Applications of Formal Methods, Verification and Validation. Scalable Validation Concurrent Distributed...

53,84 €
Comparar 2 tiendas 2 tiendas

Springer Nature Switzerland AG

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering Collective Adaptive...

72,58 €
Comparar 2 tiendas 2 tiendas

Springer Nature Switzerland AG

Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI:...

50,47 €
Comparar 2 tiendas 2 tiendas

Independently Published

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and...

12,46 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
53,84 €
Ver oferta