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

Prices from
81.23

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
€ 81.23
To Shop
Amazon Marketplace Logo
€ 81.23
To Shop
Description (0)

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

Product specifications

Brand Springer
EAN
  • 9783032087065
MPN
  • Refer to Sapnet.

Springer

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

€ 76.06
Compare 2 stores 2 stores

Springer

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

€ 75.45
Compare 2 stores 2 stores

Springer

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

€ 69.63
Compare 2 stores 2 stores

Springer

AI Verification: Second International Symposium, SAIV 2025, Zagreb, Croatia, July 2122, Proceedings: 15947

€ 41.92
Compare 2 stores 2 stores
Featured Choice
€ 81.23
To Shop