Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11
In den Proceedings der ersten internationalen Konferenz zur temporalen Logik (ICTL ’94) in Bonn finden Sie prägnante Beiträge, die die Entwicklung von formalen Verifikationsmethoden und deren praktische Anwendungen im Bereich der zeitabhängigen Systeme beleuchten.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science)
Medimops DE
16-02-2026 20:10:45
SpringerLink DE Ähnliche Produkte
Temporal Type Theory
128.39 EUR
