Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

1. Denotational semantics

   the Scott-Strachey approch to programming language theory
   Autor*in: Stoy, Joseph E.

   Erschienen: 1979

   Verlag:  MIT Press, Cambridge, MA

   • Bibliographische Angaben
   • Zugang
   • Export

   Würzburg: Universitätsbibliothek Würzburg

   Standort:

   Universitätsbibliothek Würzburg

   Fernleihe:

   uneingeschränkte Fernleihe, Kopie und Ausleihe

   Link zum Verbundkatalog:

   Bibliotheksverbund Bayern (BVB)

   Export in Literaturverwaltung

   RIS-Format   BibTeX-Format

   Quelle:	Verbundkataloge
   Sprache:	Englisch
   Medientyp:	Buch (Monographie)
   ISBN:	0262690764
   RVK Klassifikation:	ES 915 ; ST 140
   Schriftenreihe:	MIT Press series in computer science ; 1.
   Schlagworte:	lambda calcul; langage formel; sémantique formelle; sémantique langage programmation; théorie treillis; Lambda-Kalkül; Programmverifikation; Semantik; Programmiersprache
   Umfang:	XXX, 414 S.