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