Thomas Wies

Filtre: Engleză Tipărit la comandă

Thomas Wies

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13182

Editat de Bernd Finkbeiner et al.

14 ian 2022

Preț: 576^.94 lei 721^.18 lei

6-8 săpt.

-20%

Automated Verification of Concurrent Search Structures

Synthesis Lectures on Computer Science

Autor Siddharth Krishna et al.

iun 2021

Preț: 402^.16 lei

6-8 săpt.

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

Lecture Notes in Computer Science, nr. 13990

Editat de Thomas Wies

18 apr 2023

Preț: 305^.88 lei 382^.35 lei

6-8 săpt.

-20%

Networked Systems

Lecture Notes in Computer Science

Editat de David Mohaisen et al.

7 iul 2023

Preț: 370^.17 lei 462^.71 lei

6-8 săpt.

-20%

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10712

Editat de Andrei Paskevich et al.

15 dec 2017

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%