Burkhart Wolff

Список авторов с биографиями, датами жизни и будущими подборками всех их книг.

Книги автора

6

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Unifying Theories of Programming

Unifying Theories of Programming

Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification

Testing Software and Systems

Testing Software and Systems

Tests and Proofs

Tests and Proofs

Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings

Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings