Thomas Wies - Böcker

Visar alla böcker från författaren Thomas Wies.
6 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 10-15 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 10-15 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 7-10 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

869 kr

Skickas inom 7-10 vardagar
  • Nyhet
Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies - On the Pursuit of Insight and Elegance, Häftad

On the Pursuit of Insight and Elegance

Av Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies

Häftad, Engelska, 2026

1 069 kr

Kommande
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 10-15 vardagar