Filtre:

Cărți de J Strother Moore

Computer-Aided Reasoning: ACL2 Case Studies

Advances in Formal Methods, nr. 4

Editat de Matt Kaufmann et al.

8 dec 2010

Preț: 1224^.95 lei 1531^.19 lei

43-57 zile

-20%

Piton

Automated Reasoning Series, nr. 3

Autor J Strother Moore

3 oct 2013

Preț: 324^.05 lei 405^.07 lei

43-57 zile

-20%