Merkliste 
 1 Ergebnisse 
 
1

Formale Methoden und kleine Systeme 

Lernen, leben und arbeiten in formalen Umgebungen  Springer eBook Collection, Computer Science and Engineering
Siefkes, Dirk , 1993