Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
The Temporal Logic of Reactive and Concurrent Systems (Hardcover)  - Specification
Bild 1 von 1

The Temporal Logic of Reactive and Concurrent Systems (Hardcover)

Specification

1992 - Erschienen 18.12.1991 - Gebunden, 446 Seiten, 241mm x 160mm x 30mm, Sprache(n): eng

Produktart:
📚 Bücher
Anbieter:
MARZIES Buch- und Medienhandel
Bestell-Nr.:
A3794117
Kategorie(n):
ISBN:
0387976647
EAN:
9780387976648
Stichworte:

Variable, concurrency, modeling, petri net, real-time, real-time system, Semantics, Netzwerk (elektronisch)

Angebotene Zahlungsarten
Vorauskasse, PayPal
Neuware
Neuware133,95 EURKostenloser Versand

Ähnliche Bücher, die interessant für Sie sein könnten Autor: Amir Pnueli, Zohar Manna Verlag: Springer US