Angewandte Informatik und Formale BeschreibungsverfahrenGeorg Lausen Andreas Oberweis · First published 2012Open the Tome
Angewandte Informatik und Formale BeschreibungsverfahrenGeorg Lausen, Andreas Oberweis, Gunter Schlageter · First published 1999Open the Tome