S. Akshay – författare

Visar alla böcker från författaren S. Akshay.

2 produkter

1. 

   Automated Technology for Verification and Analysis

   22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I

   Av S. Akshay, Aina Niemetz m. fl.

   Häftad, 2025

   1869 kr

   Lägg i varukorg

2. 

   Automated Technology for Verification and Analysis

   22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II

   Av S. Akshay, Aina Niemetz m. fl.

   Häftad, 2025

   2169 kr

   Lägg i varukorg