An Introduction to the PL/CV2 Programming Logic
Autor R. L. Constable et al.
apr 1982
Paperback
Preț: 320.37 lei 400.47 lei
6-8 săpt.
-20%
Cărți de R. L. Constable
Implementing Mathematics with the Nuprl Proof Development System
Autor R. L. Constable
Paperback
Preț: 91.71 lei
3-5 săpt.