Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Pr
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 13182
Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner, Thomas Wies
Häftad, 2022
979 kr
Verification, Model Checking, and Abstract Interpretation
Thomas Wies, Bernd Finkbeiner
E-bok
20221 258 kr
Del 13990
Del 10712
Del 14765
On the Pursuit of Insight and Elegance
Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies
Häftad, 2026
563 kr
Networked Systems : 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
David Mohaisen, Thomas Wies
667 kr
Automated Verification of Concurrent Search Structures
Thomas Wies, Dennis Shasha, Nisarg Patel, Siddharth Krishna
E-bok
2022791 kr
On the Pursuit of Insight and Elegance
Thomas Wies, Martin Schaf, Andrey Rybalchenko, Daniel Dietsch
E-bok
2026734 kr