Prädikatenlogik als Sprache formaler Spezifikationen

Prädikatenlogik als Sprache formaler Spezifikationen:



Uwe Petermann 2006-06-13