Thomas Wies – författare & böcker | Akademibokhandeln

Thomas Wies – författare

Visar alla böcker från författaren Thomas Wies.

6 produkter

Kategorier

6 produkter

Del 13182
Del 13182 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
AvBernd Finkbeiner,Thomas Wies
Häftad, Engelska, 2022
1 289 kr
Skickas inom 10-15 vardagar
Automated Verification of Concurrent Search Structures
AvSiddharth Krishna,Nisarg Patelm. fl.
Häftad, Engelska, 2021
789 kr
Skickas inom 10-15 vardagar
Del 13990
Del 13990 - Lecture Notes in Computer Science
Programming Languages and Systems
32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
AvThomas Wies
Häftad, Engelska, 2023
599 kr
Skickas inom 10-15 vardagar
Del 14067
Del 14067 - Lecture Notes in Computer Science
Networked Systems
11th International Conference, NETYS 2023, Benguerir, Morocco, May 22–24, 2023, Proceedings
AvDavid Mohaisen,Thomas Wies
Häftad, Engelska, 2023
889 kr
Skickas inom 5-8 vardagar
Del 14765
Del 14765 - Lecture Notes in Computer Science
On the Pursuit of Insight and Elegance
Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday
AvDaniel Dietsch,Andrey Rybalchenkom. fl.
Häftad, Engelska, 2026
739 kr
Skickas inom 10-15 vardagar
Del 10712
Del 10712 - Lecture Notes in Computer Science
Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
AvAndrei Paskevich,Thomas Wies
Häftad, Engelska, 2017
739 kr
Skickas inom 10-15 vardagar