Cărți de Amy Felty

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7406

Editat de Lennart Beringer et al.

6 iul 2012

Preț: 333^.47 lei 416^.84 lei

6-8 săpt.

-20%

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Lecture Notes in Computer Science, nr. 1275

Editat de Elsa L. Gunter et al.

6 aug 1997

Preț: 329^.75 lei 412^.19 lei

6-8 săpt.

-20%