Yazar
Burkhart Wolff
6 cilt bulundu.
Cilt sonuçları
Tests and Proofs
Catherine Dubois, Burkhart Wolff · Springer London, Limited
199 sayfa · 2009
Computer science / Software engineering / Logic, symbolic and mathematical
Unifying Theories of Programming
Burkhart Wolff · Imprint: Springer
249 sayfa · 2013
Mathematical Logic and Formal Languages / Logic design / Logics and Meanings of Programs / Computation by Abstract Devices / Computer science
Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings
Burkhart Wolff · Springer
Sayfa sayısı yok · 2011
Testmustergenerierung / Software engineering / Testing / Computer software / Programmtest
Testing Software and Systems
Burkhart Wolff, Fatiha Zaidi · Springer London, Limited
Sayfa sayısı yok · 2011
Computer software / Software engineering
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff · Springer London, Limited
Sayfa sayısı yok · 2006
Computer software