Mathematik - Hailpern, Brent T.: Verifying Concurrent Processes Using Temporal Logic. Lecture notes in computer science , 129 Berlin [West] , Heidelberg , New York : Springer, 1982.

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Mathematik - Hailpern, Brent T.:
Verifying Concurrent Processes Using Temporal Logic. Lecture notes in computer science , 129
Berlin [West] , Heidelberg , New York : Springer, 1982.
ISBN/EAN: 9783540112051

gefunden im Sachgebiet: Mathematik

VIII, 208 S. : graph. Darst. , 24 cm

Literaturverz. S. 203-208, Verlagsfrischer Zustand

[SW: Simultanverarbeitung , Verifikation (Datenverarbeitung)]
Simultanverarbeitung, Verifikation, (Datenverarbeitung)

EUR24,00
inkl. MwSt. zzgl. Versand: EUR 4,00
Lieferzeit: 1 - 5 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 74 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Mathematik - Hailpern, Brent T.: Verifying Concurrent Processes Using Temporal Logic. Lecture notes ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Mathematik - Gericke, Helmuth
Mathematik in Antike und Orient Mathematik im Abendland, von den römischen Feldmessern bis zu Descartes 3.Aufl.Sonderausg.

EUR 10,00
Details zum Buch...

Mathematik - Küstner:
Fünfstellige Logarithmen Für Sexagesimalgeteilten Altgrad, Natürliche Zahlen und der Winkelfunktionen für Sexagesimalgeteilten Altgrad, Anhang: Physikalisch-Technische Tabellen

EUR 8,00
Details zum Buch...

Mathematik - Beth, Thomas [Hrsg.]:
Cryptography : proceedings of the Workshop on Cryptography, Burg Feuerstein, Germany, March 29 - April 2, 1982. ed. by T. Beth, Lecture notes in computer science , 149

EUR 30,00
Details zum Buch...

Mathematik - Kingsley, Charles Schmidt and Thomas Michael
Hypatia. Introduction by Ernest Rhys Charles Kingsley, Spirituelle Weltliteratur

EUR 12,00
Details zum Buch...

FF-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren
IE-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren