Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 2731, Proceedings: 16145

Priser från
888,52

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 2731, Proceedings: 16145

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
888,52 kr
Til butik
Amazon Marketplace Logga
888,52 kr
Til butik
Beskrivning (0)

Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 2731, Proceedings: 16145

Produktspecifikationer

Märke Springer
EAN
  • 9783032087065

Springer

Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October...

861,94 kr
Jämför 2 butiker 2 Butiker

Springer

Static Analysis: 32nd International Symposium, SAS 2025, Singapore, October 1314, Proceedings: 16100

810,36 kr
Jämför 2 butiker 2 Butiker

Springer

Advances in Intelligent Data Analysis XXIII: 23rd International Symposium on Analysis, IDA...

1.895,51 kr
Mer information Mer info

Springer

Dependable and Secure Computing: 14th Latin American Symposium, LADC 2025, Valparaíso, Chile,...

827,40 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
888,52 kr
Til butik