Cărți de Xavier Rival

Introduction to Static Analysis – An Abstract Interpretation Perspective

Autor Xavier Rival et al.

20 feb 2020

Preț: 459^.21 lei 574^.00 lei

3-5 săpt. | 7-13 zile

-20%

Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9837

Editat de Xavier Rival

31 aug 2016

Preț: 336^.71 lei 420^.89 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8318

Editat de Kenneth McMillan et al.

22 ian 2014

Preț: 336^.06 lei 420^.08 lei

6-8 săpt.

-20%