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
 
 

Ergebnis der Suche nach: nid=4299725-2



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4299725-2
Sachbegriff Formale Spezifikationstechnik
Quelle Lex. Informatik Kommunikationstechnik
Synonyme Spezifikationstechnik / Formale Methode
Oberbegriffe Spezifikationstechnik
Thematischer Bezug Verwandter Begriff: Formale Beschreibungstechnik
Verwandter Begriff: Algebraische Spezifikation
DDC-Notation 004.0151
005.131
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Thema in 313 Publikationen
  1. Recent trends in algebraic development techniques
    Heidelberg : Springer, 2013
  2. Recent Trends in Algebraic Development Techniques
    Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
  3. ...
Maschinell verknüpft mit 5 Publikationen
  1. Compositional synthesis of reactive systems
    Passing, Noemi Estrid. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
  2. Explanation of the Model Checker Verification Results
    Kaleeswaran, Arut Prakash. - Berlin : Humboldt-Universität zu Berlin, 2023
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration