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 56 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

Mathematiik - Trockel, Walter:
Market demand : an analysis of large economies with non-convex preferences. Lecture notes in economics and mathematical systems , 223 : mathemat. economics

EUR 13,00
Details zum Buch...

Risser, R.:
Applications de la Statistique a la Démographie et a la Biologie (Tome III; Fascicule III)

EUR 9,00
Details zum Buch...

Mathematik - Blaser, Albrecht [Hrsg.]:
Interactive systems : proceedings, 6th Informatik Symposium IBM Germany, Bad Homburg v. d. H., Sept. 1976. ed. by A. Blaser and C. Hackl, Lecture notes in computer science , 49

EUR 20,00
Details zum Buch...

Weizel, Walter:
Einführung in die Physik Band I: Mechanik und Wärme; Band II: Elektrizität und Magnetismus 5. Auflage (B.I. Hochschultaschenbücher Band 3 und 4)

EUR 6,00
Details zum Buch...

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