> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: The Vienna development method: the meta-language Beteiligte: Bjørner, Dines [Sonstige Person, Familie und Körperschaft]; Bjoerner, Dines [Herausgeber:in] Erschienen: Berlin; Heidelberg [u.s.]: Springer, 1978 Erschienen in: Lecture notes in computer science ; 61 Umfang: XV, 382 S. Sprache: Englisch ISBN: 3540087664; 0387087664 RVK-Notation: QH 500 : Wirtschaftsinformatik. Datenverarbeitung. Allgemeines SS 4800 : Lecture notes in computer science Schlagwörter: Metasprache > Programmiersprache Metasprache > VDM Programmiersprache Metasprache Programmiersprache > Semantik Entstehung: Anmerkungen: Literaturverz. S. [375] - 382 Weitere Bestandsnachweise 0 : Lecture notes in computer science
Zentralbibliothek – Magazin Signatur: 0779 00134 001 Barcode: 10129926 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bestellungen, die von Mo - Fr bis 13 Uhr eingehen, werden voraussichtlich am selben Tag für Sie bereitgestellt.