Programmverifikation-Sequentielle-Parallele-Und-Verteilte-Programme-Springer-Lehrbuch 29,95 EUR*