Filtre:

Cărți de Burkhart Wolff

Formal Approaches to Software Testing and Runtime Verification

Editat de Klaus Havelund et al.

7 dec 2006

Preț: 318^.99 lei 398^.73 lei

6-8 săpt.

-20%

Theorem Proving in Higher Order Logics

Editat de David Basin et al.

21 aug 2003

Preț: 381^.25 lei

6-8 săpt.

Tests and Proofs

Lecture Notes in Computer Science, nr. 10889

Editat de Catherine Dubois et al.

3 iun 2018

Preț: 317^.04 lei 396^.30 lei

6-8 săpt.

-20%