Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,6 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek sind unter Beachtung der geltenden Hygiene- und Abstandsregelungen für einen eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

Ergebnis der Suche nach: nid=4221249-2



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4221249-2
Sachbegriff Operationale Semantik
Quelle Lex. Informatik
Synonyme Wiener Methode
Interpretative Semantik <Informatik>
Oberbegriffe Formale Semantik
DDC-Notation 004.015113
005.131
Systematik 30 Informatik, Datenverarbeitung
Andere Normdaten RAMEAU: VDM, Méthode
Thema in 45 Publikationen
  1. Semantics of probabilistic typed lambda calculus
    Draheim, Dirk. - Berlin : Springer, [2017]
  2. Semantics of probabilistic processes
    Deng, Yuxin. - Shanghai : Shanghai Jiao Tong Univ. Press, © 2014
  3. ...
Maschinell verknüpft mit 5 Publikationen
  1. EITeL - ein intervallbasierter temporallogischer Ansatz
    Spies, Klaus. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 2017
  2. Dynamische Modellanalyse von Metamodellen mit operationaler Semantik
    Soden, Michael. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration