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

Software Engineering

Stephan Kleuker ×Bücher ×

Buchcover Formale Modelle der Softwareentwicklung

Formale Modelle der Softwareentwicklung

Model-Checking, Verifikation, Analyse und Simulation

Stephan Kleuker

Vieweg & Teubner