Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Hailpern B., T.:
Verkauft von Studibuch, Stuttgart, Deutschland
AbeBooks-Verkäufer seit 24. April 2018
Gebraucht - Softcover
Zustand: Befriedigend
Anzahl: 1 verfügbar
In den Warenkorb legen