> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Konferenzbericht Titel: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs Beteiligte: Banerjee, Anindya [VerfasserIn] Körperschaft: Association for Computing Machinery ; ACM Special Interest Group on Programming Languages Erschienen: New York, NY: ACM, 2009 Erschienen in: ACM Digital Library ACM Other conferences Umfang: Online-Ressource (1 online resource (64 pages)) Sprache: Englisch DOI: 10.1145/1557898 ISBN: 9781605585406 Identifikator: Schlagwörter: Computer science ; Software ; Theory of Computation ; Formal language definitions ; Formal languages and automata theory ; Language types ; Konferenzschrift Reproduktionsreihe: Association for Computing Machinery-Digital Library Entstehung: Anmerkungen: Title from The ACM Digital Library