Cărți de Fritz Henglein

Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12597

Editat de Fritz Henglein et al.

12 ian 2021

Preț: 592^.31 lei 740^.39 lei

6-8 săpt.

-20%

Automatic Program Development: A Tribute to Robert Paige

Editat de Olivier Danvy et al.

8 ian 2008

Preț: 638^.25 lei 797^.81 lei

6-8 săpt.

-20%