Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Mittwoch, dem 21. November (Buß- und Bettag) bleibt die Deutsche Nationalbibliothek in Leipzig geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind ebenfalls geschlossen. // The German National Library in Leipzig will be closed on Wednesday 21 November 2018. The Exhibitions of the German Museum of Books and Writing will be closed as well.
 
 

Ergebnis der Suche nach: nid=4225739-6



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz http://d-nb.info/gnd/4225739-6
Sachbegriff Z <Programmiersprache>
Quelle FOLDOC
Oberbegriffe Spezifikationssprache
Programmiersprache
DDC-Notation 005.12
005.133
Systematik 30m Informatikprodukte (Hardware- und Softwareprodukte)
Typ Softwareprodukt (siw)
Andere Normdaten LCSH: Z (Computer program language)
RAMEAU: Z (méthode formelle)
Beispiele 1 Begriff
  1. HOL-Z
Thema in 36 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. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration