Anthony W. Lin – författare

Visar alla böcker från författaren Anthony W. Lin.

4 produkter

1. 

   Reachability Problems

   16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings

   Av Anthony W. Lin, Georg Zetzsche m. fl.

   Häftad, 2022

   809 kr

   Lägg i varukorg

2. 

   Computer Aided Verification

   38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I

   Av Eva Darulova, Anthony W. Lin m. fl.

   Häftad, 2026

   589 kr

   Lägg i varukorg

3. 

   Computer Aided Verification

   38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II

   Av Eva Darulova, Anthony W. Lin m. fl.

   Häftad, 2026

   589 kr

   Lägg i varukorg

4. 

   Computer Aided Verification

   38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III

   Av Eva Darulova, Anthony W. Lin m. fl.

   Häftad, 2026

   589 kr

   Lägg i varukorg