Del 14067
Networked Systems : 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
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 13116
Del 13182
Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner, Thomas Wies
Häftad, 2022
966 kr
Del 13990
Del 10712
Automated Verification of Concurrent Search Structures
Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies
Häftad, 2021
593 kr
On the Pursuit of Insight and Elegance
Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies
Häftad, 2026
556 kr
- Nyhet
Del 2
- -19%