> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht Titel: OASIcs, Volume 43, ICCSW'14, Complete Volume Beteiligte: Neykova, Rumyana [VerfasserIn]; Ng, Nicholas [VerfasserIn] Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014 Sprache: Englisch DOI: https://doi.org/10.4230/OASIcs.ICCSW.2014 Schlagwörter: Complexity Measures and Classes ; Parallel Architectures ; Parallel Programming ; Applicative (Functional) Programming ; Concurrent Programming ; Specifying and Verifying and Reasoning about Programs ; Requirements/Specifications Software/Program Verification ; Languages and Compilers Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Beschreibung: OASIcs, Volume 43, ICCSW'14, Complete Volume Zugangsstatus: Freier Zugang