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

Priser från
969,26

Utvalda

JäMFöR ALLA WEBBUTIKER (1)

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 (1)

Sortera efter:

969,26 kr

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...

875,87 kr
Mer information Mer info

Springer

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

845,00 kr
Mer information Mer info

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
969,26 kr
Til butik