Aktuelle Literturhinweise

Hinweis

An dieser Stelle möchten wir Ihnen gerne aktuelle Bücher empfehlen, die sich mit unserem Themengebiet beschäftigen. Leider ist die Auswahl nocht nicht sehr groß, diese Seite wird jedoch ständig erweitert!

Programmverifikation

Programmverifikation von Krzysztof R. Apt und Ernst-Rüdiger Olderog. Axel-Springer Lehrbuchverlag.
Mehr informationen (Von JF Lehmanns)

Programmentwicklung und Verifikation

Programmentwicklung und Verifikation von Gerald Futschek. Springer Wieng.
Mehr informationen (Von JF Lehmanns)

Hinweis	An dieser Stelle möchten wir Ihnen gerne aktuelle Bücher empfehlen, die sich mit unserem Themengebiet beschäftigen. Leider ist die Auswahl nocht nicht sehr groß, diese Seite wird jedoch ständig erweitert!

Programmverifikation	Programmverifikation von Krzysztof R. Apt und Ernst-Rüdiger Olderog. Axel-Springer Lehrbuchverlag. Mehr informationen (Von JF Lehmanns)

Programmentwicklung und Verifikation	Programmentwicklung und Verifikation von Gerald Futschek. Springer Wieng. Mehr informationen (Von JF Lehmanns)