Filtre:

Cărți de Bernd Finkbeiner

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science, nr. 14572

Editat de Bernd Finkbeiner et al.

5 apr 2024

Preț: 302^.51 lei 378^.13 lei

6-8 săpt.

-20%

Runtime Verification

Lecture Notes in Computer Science

Editat de Bernd Finkbeiner et al.

4 oct 2019

Preț: 409^.52 lei 511^.91 lei

6-8 săpt.

-20%

Fields of Logic and Computation III

Lecture Notes in Computer Science, nr. 12180

Editat de Andreas Blass et al.

23 mai 2020

Preț: 324^.82 lei 406^.03 lei

6-8 săpt.

-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

6-8 săpt.

-20%

Fields of Logic and Computation II

Lecture Notes in Computer Science, nr. 9300

Editat de Lev D. Beklemishev et al.

27 aug 2015

Preț: 323^.81 lei 404^.76 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science, nr. 9364

Editat de Bernd Finkbeiner et al.

22 noi 2015

Preț: 334^.25 lei 417^.82 lei

6-8 săpt.

-20%