Skip to content
Vinony

Mathematisch-strukturelle Grundlagen der Informatik

by Hartmut Ehrig, Bernd Mahr, F. Cornelius, Martin Große-Rhode, P. Zeitz

Cover of Mathematisch-strukturelle Grundlagen der Informatik

No description available.

MengenlehreKategorientheorieAlgebraische SpezifikationAussagenlogikPrädikatenlogik
Mathematisch-strukturelle Grundlagen der Informatik by Hartmut Ehrig, Bernd Mahr, F. Cornelius, Martin Große-Rhode, P. Zeitz — book · Vinony