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

Priser från
489,95

Sponsrade länkar

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

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

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Sponsrade länkar · Vissa butiker betalar oss en ersättning

Sortera efter:

489,95 kr

489,95 kr

Beskrivning (0)

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

Produktspecifikationer

Märke Springer
EAN
  • 9783032401106

Springer

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

489,95 kr
Jämför 2 butiker 2 Butiker

Springer

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

874,48 kr
Jämför 2 butiker 2 Butiker

Springer

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

489,95 kr
Jämför 2 butiker 2 Butiker

Independently Published

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

140,58 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
489,95 kr
Til butik