Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11

~~118.00 EUR~~ 105.40 EUR 11% Off

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.