Leveraging Applications of Formal Methods, Verification and Validation. Methods for Distributed Computing in Future Railway Systems: 13th ... 2428, 2026, Proceedings, Part II: 17142

Prix à partir de
42,41

Liens sponsorisés

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Leveraging Applications of Formal Methods, Verification and Validation. Methods for Distributed Computing in Future Railway Systems: 13th ... 2428, 2026, Proceedings, Part II: 17142

Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Liens sponsorisés · Certaines boutiques nous versent une rémunération

Trier par:

42,41 €

42,41 €

Description (0)

Leveraging Applications of Formal Methods, Verification and Validation. Methods for Distributed Computing in Future Railway Systems: 13th ... 2428, 2026, Proceedings, Part II: 17142

Spécifications du produit

Marque Springer
EAN
  • 9783032401106

Springer

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

42,41 €
Comparer 2 magasins 2 magasins

Springer

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

42,41 €
Comparer 2 magasins 2 magasins

Springer

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

42,41 €
Comparer 2 magasins 2 magasins

Independently Published

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

12,70 €
Comparer 2 magasins 2 magasins
Choix en vedette
42,41 €
Voir l’offre