Burkhart Wolff

Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.

Bücher des Autors

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