Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Constantin Enea, Akash Lal
667 kr
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Engelska, 2023
667 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 I
Constantin Enea, Akash Lal
667 kr
Verification, Model Checking, and Abstract Interpretation
Ruzica Piskac, Constantin Enea
E-bok
2019734 kr
Verification, Model Checking, and Abstract Interpretation
Constantin Enea, Ruzica Piskac
Häftad, 2019
562 kr
Del 13800
Del 14783