B. T. Hailpern Hailpern Verifying Concurrent Processes Using Temporal Logic

Verifying Concurrent Processes Using Temporal Logic

von B. T. Hailpern

Preis unbekannt

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

B. T. Hailpern

Themen in »Verifying Concurrent Processes Using Temporal Logic«

Parallelverarbeitung (EDV) Verifikation (EDV) logic programming verification

Stimmen zu »Verifying Concurrent Processes Using Temporal Logic«

Details

ISBN: 9783540390343
Verlag: Springer Berlin
Erscheinung: 30.06.2005

Link teilen

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden