Filtre:

Cărți de Andreas Podelski

Tools and Algorithms for the Construction and Analysis of Systems

Editat de Kurt Jensen et al.

18 mar 2004

Preț: 640^.68 lei 800^.85 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation

Editat de Byron Cook et al.

3 ian 2007

Preț: 327^.92 lei 409^.89 lei

6-8 săpt.

-20%

Constraint Programming: Basics and Trends

Editat de Andreas Podelski

20 mar 1995

Preț: 324^.02 lei 405^.03 lei

6-8 săpt.

-20%

Networked Systems

Lecture Notes in Computer Science, nr. 11028

Editat de Andreas Podelski et al.

6 ian 2019

Preț: 329^.74 lei 412^.17 lei

6-8 săpt.

-20%

Static Analysis

Lecture Notes in Computer Science, nr. 11002

Editat de Andreas Podelski

29 aug 2018

Preț: 330^.15 lei 412^.69 lei

6-8 săpt.

-20%