Burkhart Wolff
Burkhart Wolff
3 ספרים במאגר
ספרים
Unifying Theories of ProgrammingBurkhart Wolff
Unifying Theories of Programming
Burkhart Wolff · 2013
Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 ProceedingsBurkhart Wolff
Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings
Burkhart Wolff · 2011
Testing Software and SystemsBurkhart Wolff
Testing Software and Systems
Burkhart Wolff · 2011
ספרים משותפים ואוספים
ספרים שבהם Burkhart Wolff מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Tests and ProofsCatherine Dubois
Tests and Proofs
Catherine Dubois · 2009
Formal Approaches to Software Testing and Runtime VerificationKlaus Havelund
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund · 2006
Theorem Proving in Higher Order LogicsDavid Basin
Theorem Proving in Higher Order Logics
David Basin · 2003