- Sprache
-
Englisch
- Umfang
-
XIX, 620 S.
- ISBN
-
978-3-642-37035-9
- Identifier
-
1031344632
- Reihe
-
Lecture notes in computer science; 7792 : Advanced research in computing and software science
Thema
Programmiersprache ; Formale Methode ; Programmverifikation ; Programmanalyse ; Nebenläufigkeit ; Programmierlogik ; Softwaresystem ; Model Checking ; Konferenzschrift Rom; Kongress Rom <2013>
Beteiligte Personen und Organisationen
Felleisen, Matthias
Gardner, Philippa
Gardner, Philippa
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:49 MESZ
Objekttyp
- Monografie
Beteiligte
- Felleisen, Matthias
- Gardner, Philippa
Ähnliche Objekte (12)
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : 8th 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
Programming languages and systems : 9th Asian symposium ; proceedings
Verification, model checking, and abstract interpretation : 14th international conference ; proceedings
Verification, model checking, and abstract interpretation : 16th international conference ; proceedings
Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 ; proceedings
Programming languages and systems : 7th 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 : 8th 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
Programming languages and systems : 9th Asian symposium ; proceedings
Verification, model checking, and abstract interpretation : 14th international conference ; proceedings
Verification, model checking, and abstract interpretation : 16th international conference ; proceedings
Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 ; proceedings
Programming languages and systems : 7th 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 : 8th 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
Programming languages and systems : 9th Asian symposium ; proceedings
Verification, model checking, and abstract interpretation : 14th international conference ; proceedings
Verification, model checking, and abstract interpretation : 16th international conference ; proceedings
Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 ; proceedings