Formal Approaches to Software Testing and Runtime Verification
Editat de Klaus Havelund et al.
7 dec 2006
Paperback
Preț: 319.75 lei 399.68 lei
6-8 săpt.
-20%
Cărți de Burkhart Wolff
Theorem Proving in Higher Order Logics
Editat de David Basin et al.
21 aug 2003
Paperback
Preț: 380.09 lei
6-8 săpt.
Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Editat de Catherine Dubois et al.
3 iun 2018
Paperback
Preț: 315.16 lei 393.95 lei
6-8 săpt.
-20%