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

Priser från
842,69

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings: 16145
Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
842,69 kr
Til butik
Amazon Marketplace Logga
842,69 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Springer
EAN
  • 9783032087065

Springer

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

847,51 kr
Jämför 2 butiker 2 Butiker

Springer

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

823,00 kr
Jämför 2 butiker 2 Butiker

Springer

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

2.568,66 kr
Mer information Mer info

Springer

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

958,52 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
842,69 kr
Til butik