Thomas Wies - Böcker

Visar alla böcker från författaren Thomas Wies.
5 produkter
Bernd Finkbeiner, Thomas Wies - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Bernd Finkbeiner, Thomas Wies

Häftad, Engelska, 2022

1 279 kr

Skickas inom 7-10 vardagar
Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies - Automated Verification of Concurrent Search Structures, Häftad

Automated Verification of Concurrent Search Structures

Av Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies

Häftad, Engelska, 2021

789 kr

Skickas inom 7-10 vardagar
Thomas Wies - Programming Languages and Systems, Häftad
Del 13990 - Lecture Notes in Computer Science

Programming Languages and Systems

Av Thomas Wies

Häftad, Engelska, 2023

589 kr

Skickas inom 5-8 vardagar
David Mohaisen, Thomas Wies - Networked Systems, Häftad
Del 14067 - Lecture Notes in Computer Science

Networked Systems

Av David Mohaisen, Thomas Wies

Häftad, Engelska, 2023

879 kr

Skickas inom 5-8 vardagar
Andrei Paskevich, Thomas Wies - Verified Software. Theories, Tools, and Experiments, Häftad

Verified Software. Theories, Tools, and Experiments

Av Andrei Paskevich, Thomas Wies

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar