Neuware
The Temporal Logic of Reactive and Concurrent Systems - Specification
von Amir Pnueli, Zohar Manna
1991 Gebunden, 446 Seiten, 241mm x 160mm x 30mm, Sprache(n): eng Request lecturer material: sn.pub/lecturer-materialReactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most diffic…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9780387976648
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!