Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Constantin Enea, Akash Lal
631 kr
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Engelska, 2023
631 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
631 kr
Verification, Model Checking, and Abstract Interpretation
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
Häftad
550 kr
Del 13800
Del 14783
