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: dcs=004*

Zurück zur Trefferliste


Treffer 12043 von 12212 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4637478-4
Sachbegriff TLA <Logik>
Quelle Wikipedia
Synonyme Temporale Logik von Aktionen
Temporale Logik der Aktionen
Temporal Logic of Actions
Oberbegriffe Temporale Logik
DDC-Notation 004.015113
005.131
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Thema in 13 Publikationen
  1. Abstract state machines, alloy, B, TLA, VDM, and Z
    Heidelberg : Springer, 2014
  2. Abstract State Machines, Alloy, B, TLA, VDM, and Z
    Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
  3. ...
Maschinell verknüpft mit 1 Publikation
  1. Prozessuales Erklären: Grundzüge einer primär temporalen Methodologie empirischer Sozialforschung
    Aljets, Enno. - Mannheim : SSOAR, GESIS – Leibniz-Institut für Sozialwissenschaften e.V., 2017





Treffer 12043 von 12212
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration