Verifying concurrent processes using temporal von hailpern brent (1 Ergebnisse)

Autor:

Titel:

Mit der Detailsuche verfeinern

Verifying Concurrent Processes Using Temporal Logic. Lecture Notes in Computer Science N? 129
HAILPERN, Brent:
- Softcover
Anbieter: Librería La Candela, Murcia, MU, SpanienLibrería La Candela
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Gebraucht
EUR 5,00
EUR 40,00 Versand
Versand von Spanien nach USA
Anzahl: 1 verfügbar
In den Warenkorb
.- Berlín Heidelberg New York. 1982. Springer - Verlag. 4º menor. VIII- 208 pgs. Rústica editorial . Firma anterior poseedor. Muy buen estado. . . ISBN 10: 3540112057. Informática.