Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.
 
 

Ergebnis der Suche nach: idn=042212499



Zurück



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
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration