Frohe Weihnachten und wunderbare Buchmomente!

Bookbot
Das Buch ist derzeit nicht auf Lager

Methodik eines formalen Korrektheitsbeweises bei graphisch spezifizierter Software

Autoren

Buchvariante

1998

Buchkauf

Wir benachrichtigen dich per E-Mail.