Formale Methoden und kleine Systemede Dirk SiefkesEdiciones (1)Formale Methoden und kleine Systeme (2012)Vieweg+Teubner Verlag · ISBN 9783528051990Más obras de Dirk SiefkesFormale Methoden und kleine SystemePioniere der InformatikGi-4.JahrestagungPioniere der Informatik