Fred Kröger Kröger Temporal Logic of Programs

Temporal Logic of Programs

von Fred Kröger

Preis unbekannt

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Fred Kröger

Themen in »Temporal Logic of Programs«

logic proof theory semantics verification

Stimmen zu »Temporal Logic of Programs«

Details

ISBN: 9783540170303
Verlag: Springer Berlin
Erscheinung: 16.04.1987

Link teilen

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


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