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ț: 324^.60 lei 405^.74 lei

22-36 zile

-20%

Algol-like Languages

Progress in Theoretical Computer Science

Autor Peter O'Hearn et al.

dec 1996

Preț: 600^.99 lei 751^.23 lei

38-44 zile

-20%