Reihe Lecture Notes in Computer ScienceB. T. Hailpern × Verifying Concurrent Processes Using Temporal Logic B. T. HailpernSpringer BerlineBook200553,49 € Verifying Concurrent Processes Using Temporal Logic B. T. HailpernSpringer BerlinSoftcover198253,49 €
