Cărți de Xavier Rival

Introduction to Static Analysis – An Abstract Interpretation Perspective

Autor Xavier Rival et al.

20 feb 2020

Preț: 432^.43 lei 540^.54 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ț: 333^.84 lei 417^.29 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ț: 333^.21 lei 416^.50 lei

6-8 săpt.

-20%