RobotikGerhard Goos × Vorlesungen über InformatikBand 1: Grundlagen und funktionales ProgrammierenGerhard GoosSpringer BerlinSoftcover2005 Vorlesungen über InformatikBerechenbarkeit, formale Sprachen, SpezifikationenGerhard GoosSpringer BerlinSoftcover1997