Cărți de Peter O'Hearn

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6217

Editat de Gary T. Leavens et al.

5 aug 2010

Preț: 321^.83 lei 402^.28 lei

3-5 săpt.

-20%

Algol-like Languages

Progress in Theoretical Computer Science

Autor Peter O'Hearn et al.

dec 1996

Preț: 600^.98 lei 751^.22 lei

38-45 zile

-20%