Filtre: Springer

Cărți de Ofer Strichman

Decision Procedures

Texts in Theoretical Computer Science. An EATCS Series

Autor Daniel Kroening et al.

27 ian 2017

Preț: 516^.35 lei 645^.44 lei

43-57 zile

-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

43-57 zile

-20%