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 70 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 - Heuerding, Alain
Sequent Calculi for Proof Search in Some Modal Logics Theory Implementation Applications Inauguraldissertation Universität Bern Prof.Dr.G.Jäger

EUR 8,00
Details zum Buch...

Mathematik - Thayse, André:
Boolean calculus of differences. Lecture notes in computer science , 101

EUR 35,00
Details zum Buch...

Mathematik - Eichhorn, Wolfgang [Hrsg.]:
Production theory : Proceedings of an international seminar held at the University of Karlsruhe, May-July 1973. ed. by W. Eichhorn ..., Lecture notes in economics and mathematical systems , 99

EUR 12,00
Details zum Buch...

Mathematik - Schultze, E.,:
Einführung in die mathematischen Grundlagen der Informationstheorie. (LNORME, vol.9). 130 Berlin, 1969

EUR 18,00
Details zum Buch...

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