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

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Lecture Notes in Computer Science, nr. 5403

Editat de Neil Jones et al.

18 dec 2008

Preț: 338^.68 lei 423^.35 lei

6-8 săpt.

-20%

Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10998

Editat de Xinyu Feng et al.

26 aug 2018

Preț: 328^.42 lei 410^.53 lei

6-8 săpt.

-20%

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8723

Editat de Markus Müller-Olm et al.

20 aug 2014

Preț: 335^.36 lei 419^.20 lei

6-8 săpt.

-20%

Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Lecture Notes in Computer Science, nr. 3800

Autor Markus Müller-Olm

2 oct 2006

Preț: 327^.95 lei 409^.93 lei

6-8 săpt.

-20%

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Lecture Notes in Computer Science, nr. 1283

Autor Markus Müller-Olm

6 aug 1997

Preț: 331^.58 lei 414^.48 lei

6-8 săpt.

-20%