Filtre: Springer

Cărți de Ofer Strichman

Decision Procedures

Texts in Theoretical Computer Science. An EATCS Series

Autor Daniel Kroening et al.

13 iul 2018

Preț: 339^.28 lei 424^.11 lei

6-8 săpt.

-20%

Hardware and Software: Verification and Testing

Lecture Notes in Computer Science, nr. 10629

Editat de Ofer Strichman et al.

12 noi 2017

Preț: 333^.74 lei 417^.18 lei

6-8 săpt.

-20%