Formale Methoden und kleine Systemede Dirk SiefkesMateriasFormalisierungKleines SystemEdiciones (1)Formale Methoden und kleine Systeme (1992)Vieweg+Teubner Verlag · alemán · ISBN 9783322849236Más obras de Dirk SiefkesPioniere der InformatikGi-4.JahrestagungFormale Methoden und kleine SystemePioniere der Informatik