Willkommen. Schön, sind Sie da!
Mein Ex Libris

Verifying Concurrent Processes Using Temporal Logic

(0)
Erste Bewertung abgeben
Inhalt Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclus...

Tiefpreis

CHF84.80

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Wird oft zusammen gekauft

Andere Kunden kauften auch