Thomas Wies

Thomas Wies

Networked Systems

Lecture Notes in Computer Science, nr. 14067

Editat de David Mohaisen et al.

7 iul 2023

Preț: 371^.31 lei 464^.14 lei

43-57 zile

-20%

Programming Languages and Systems

Lecture Notes in Computer Science, nr. 13990

Editat de Thomas Wies

18 apr 2023

Preț: 309^.06 lei 386^.32 lei

43-57 zile

-20%

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science, nr. 13182

Editat de Bernd Finkbeiner et al.

14 ian 2022

Preț: 580^.91 lei 726^.13 lei

43-57 zile

-20%

Automated Verification of Concurrent Search Structures

Synthesis Lectures on Computer Science

Autor Siddharth Krishna et al.

iun 2021

Preț: 402^.16 lei

43-57 zile

Verified Software. Theories, Tools, and Experiments

Lecture Notes in Computer Science, nr. 10712

Editat de Andrei Paskevich et al.

15 dec 2017

Preț: 318^.48 lei 398^.10 lei

43-57 zile

-20%