Cărți de Markus Müller-Olm

Verification, Model Checking, and Abstract Interpretation

Editat de Neil Jones et al.

18 dec 2008

Preț: 327^.07 lei 408^.84 lei

6-8 săpt.

-20%

Static Analysis

Lecture Notes in Computer Science, nr. 8723

Editat de Markus Müller-Olm et al.

20 aug 2014

Preț: 325^.03 lei 406^.29 lei

6-8 săpt.

-20%

Modular Compiler Verification

Autor Markus Müller-Olm

6 aug 1997

Preț: 320^.93 lei 401^.17 lei

6-8 săpt.

-20%

Dependable Software Engineering. Theories, Tools, and Applications

Lecture Notes in Computer Science, nr. 10998

Editat de Xinyu Feng et al.

26 aug 2018

Preț: 317^.84 lei 397^.30 lei

6-8 săpt.

-20%

Variations on Constants

Autor Markus Müller-Olm

2 oct 2006

Preț: 316^.83 lei 396^.04 lei

6-8 săpt.

-20%