Cărți de Jasmin Christian Blanchette

Tests and Proofs

Lecture Notes in Computer Science, nr. 9154

Editat de Jasmin Christian Blanchette et al.

iul 2015

Preț: 318^.69 lei 398^.37 lei

6-8 săpt.

-20%

Interactive Theorem Proving

Lecture Notes in Computer Science, nr. 9807

Editat de Jasmin Christian Blanchette et al.

7 aug 2016

Preț: 333^.41 lei 416^.76 lei

6-8 săpt.

-20%