Katalog der Deutschen Nationalbibliothek

Neuigkeiten Unsere Lesesäle sind unter den geltenden Hygiene- und Abstandsregelungen für den eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung erforderlich. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Achtung: Die Bereitstellungszeit für bestellte Medien beträgt aktuell 5 Tage!
 
 

Ergebnis der Suche nach: nid=4221249-2



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz http://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