Buch: Characterizing Kripke structures in temporal logic
(Computer Science Department, Carnegie-Mellon University ; 87,104)
1987
Titelvarianten | Kripe |
---|---|
Verfasserangabe | M. C. Browne, E. M. Clarke, O. Grumberg |
Serientitel | Computer Science Department, Carnegie-Mellon University ; 87,104 |
Sprache | Englisch |
Umfang | II, 18 S, graph. Darst |
Verlag | Computer Science Dep., Carnegie-Mellon Univ |
Erscheinungsort | Pittsburgh, Pa |
Dokumenttyp | Buch |
Datenquelle | Ehemaliges Sondersammelgebiet Küsten- und Hochseefischerei |
Zusatzmaterialien
Kategorien
Fernleihe an ZB MED
Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.