Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Details
- Autor(en) / Beteiligte
- Titel
- Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings [Elektronische Ressource]
- Ort / Verlag
- Cham : Springer International Publishing
- Erscheinungsjahr
- 2014
- Link zum Volltext
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783319127361OCLC-Nummer: 894505730, 894505730Titel-ID: 990205840650206441
- Format
- XVIII, 490 p. 117 illus
- Schlagworte
- Programmiersprache, Formale Methode, Programmanalyse, Programmverifikation, Programmierlogik, Computer science, Software engineering, Logic design