Buchportal für Bücher die eine ISBN tragen.

Computerprogrammierung und Softwareentwicklung

Eberhard Karls Universität Tübingen Tübingen Library Publishing ×

Buchcover Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software

Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software

Eberhard Karls Universität Tübingen Tübingen Library Publishing