Reihe PTCS - Progress in Theoretical Computer Science Verifying Temporal Properties of Systems J.C. BradfieldBirkhäuser BostonHardcover1992 Linear Programming Howard KarloffBirkhäuser BostonHardcover199187,99 €