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ț: 604^.54 lei 755^.67 lei

6-8 săpt.

-20%

Automatic Program Development: A Tribute to Robert Paige

Editat de Olivier Danvy et al.

8 ian 2008

Preț: 651^.42 lei 814^.28 lei

6-8 săpt.

-20%