Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: "120078422"

Zurück zur Trefferliste


Treffer 56 von 57 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/551372028
Titel Towards a temporal logic for true concurrency / Wolfgang Reisig. Ges. für Mathematik u. Datenverarbeitung mbH
Person(en) Reisig, Wolfgang (Verfasser)
Verlag Sankt Augustin : GMD
Umfang/Format 30 cm
Anmerkungen Literaturangaben
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Zugehörige Bände 1 Publikation
  1. Towards a temporal logic for true concurrency / Part 1. Linear time propositional logic
    1987





Treffer 56 von 57
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration