Logik der Strukturierung von Programmen. Programmentwicklung nach Warnier

 
9783486237115: Logik der Strukturierung von Programmen. Programmentwicklung nach Warnier