Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Constantin Enea, Akash Lal
644 kr
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Engelska, 2023
644 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Del 13966
Del 13964
Del 13965
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Constantin Enea, Akash Lal
644 kr
Verification, Model Checking, and Abstract Interpretation
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
Häftad, 2015
558 kr
Verification, Model Checking, and Abstract Interpretation
Constantin Enea, Ruzica Piskac
Häftad, 2019
558 kr
Del 13800
Del 14783
