Cărți de J Strother Moore

Computer-Aided Reasoning

Advances in Formal Methods, nr. 4

Editat de Matt Kaufmann et al.

30 iun 2000

Preț: 1321^.32 lei 1651^.65 lei

6-8 săpt.

-20%

Piton

Automated Reasoning Series, nr. 3

Autor J Strother Moore

3 oct 2013

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

6-8 săpt.

-20%