Burkhart Wolff - Böcker

Visar alla böcker från författaren Burkhart Wolff.
5 produkter
Catherine Dubois, Burkhart Wolff, Catherine DuBois - Tests and Proofs, Häftad

Tests and Proofs

Av Catherine Dubois, Burkhart Wolff, Catherine DuBois

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar
David Basin, Burkhart Wolff - Theorem Proving in Higher Order Logics, Häftad
Del 2758 - Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

Av David Basin, Burkhart Wolff

Häftad, Engelska, 2003

719 kr

Skickas inom 7-10 vardagar
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff - Formal Approaches to Software Testing and Runtime Verification, Häftad

Formal Approaches to Software Testing and Runtime Verification

Av Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

Häftad, Engelska, 2006

739 kr

Skickas inom 7-10 vardagar
Martin Gogolla, Burkhart Wolff - Tests and Proofs, Häftad

Tests and Proofs

Av Martin Gogolla, Burkhart Wolff

Häftad, Engelska, 2011

739 kr

Skickas inom 7-10 vardagar
Burkhart Wolff, Fatiha Zaidi - Testing Software and Systems, Häftad

Testing Software and Systems

Av Burkhart Wolff, Fatiha Zaidi

Häftad, Engelska, 2011

739 kr

Skickas inom 7-10 vardagar