Cărți de Burkhart Wolff

Formal Approaches to Software Testing and Runtime Verification

Editat de Klaus Havelund et al.

7 dec 2006

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

Lecture Notes in Computer Science, nr. 7019

Editat de Burkhart Wolff et al.

21 oct 2011

Preț: 317^.85 lei 397^.31 lei

3-5 săpt.

-20%

Theorem Proving in Higher Order Logics

Editat de David Basin et al.

21 aug 2003

Preț: 380^.09 lei

6-8 săpt.

Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6706

Editat de Martin Gogolla et al.

22 iun 2011

Preț: 317^.05 lei 396^.31 lei

3-5 săpt.

-20%

Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10889

Editat de Catherine Dubois et al.

3 iun 2018

Preț: 315^.16 lei 393^.95 lei

6-8 săpt.

-20%