> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: Hennessy-Plotkin-Brookes Revisited Beteiligte: Plotkin, Gordon Erschienen: Springer Berlin Heidelberg, 2006 Erschienen in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (2006), Seite 4-4 Sprache: Nicht zu entscheiden DOI: 10.1007/11944836_2 ISBN: 9783540499947; 9783540499954 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: