Monografie
Programming languages and systems : 9th Asian symposium ; proceedings
- Sprache
-
Englisch
- Umfang
-
XI, 383 S.
- ISBN
-
978-3-642-25317-1
- Identifier
-
1016259778
- Reihe
-
Lecture notes in computer science; 7078
Thema
Programmiersprache ; Formale Methode ; Programmierlogik ; Programmanalyse ; Programmtransformation ; Programmverifikation ; Model Checking ; Nebenläufigkeit ; Compiler ; Codegenerierung ; Konferenzschrift Kenting National Park; Kongress Kenting National Park <2011>
Beteiligte Personen und Organisationen
Yang, Hongseok
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:49 MESZ
Objekttyp
- Monografie
Beteiligte
- Yang, Hongseok
Ähnliche Objekte (12)
Programming languages and systems : proceedings
Programming languages and systems : 8th Asian symposium ; proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : 10th Asian symposium ; proceedings
Programming languages and systems : 7th Asian symposium ; proceedings
Programming languages and systems : 6th Asian symposium ; proceedings
Programming languages and systems : 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
Programming languages and systems : 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
Verification, model checking, and abstract interpretation : 8th international conference ; proceedings
Programming languages and systems : proceedings
Programming languages and systems : 8th Asian symposium ; proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : 10th Asian symposium ; proceedings
Programming languages and systems : 7th Asian symposium ; proceedings
Programming languages and systems : 6th Asian symposium ; proceedings
Programming languages and systems : 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
Programming languages and systems : 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
Verification, model checking, and abstract interpretation : 8th international conference ; proceedings
Programming languages and systems : proceedings
Programming languages and systems : 8th Asian symposium ; proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : 10th Asian symposium ; proceedings
Programming languages and systems : 7th Asian symposium ; proceedings
Programming languages and systems : 6th Asian symposium ; proceedings
Programming languages and systems : 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
Programming languages and systems : 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings