> 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 Fifth International C* Conference on Computer Science and Software Engineering Beteiligte: Desai, Bipin C. [VerfasserIn] Körperschaft: Association for Computing Machinery Erschienen: New York, NY: ACM, 2012 Erschienen in: ACM Digital Library ACM Other conferences Umfang: Online-Ressource (1 online resource (139 pages)) Sprache: Englisch DOI: 10.1145/2347583 ISBN: 9781450310840 Identifikator: Schlagwörter: Computer science ; Software ; Computing Methodologies ; Information Systems ; Computer Applications ; Theory of Computation ; Formal methods ; Software architectures ; Formal software verification ; Konferenzschrift Reproduktionsreihe: Association for Computing Machinery-Digital Library Entstehung: Anmerkungen: Title from The ACM Digital Library