Monografie
Foundations of software science and computation structures : 20th international conference : FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
- Ausgabe
-
[1st ed.]
- Sprache
-
Englisch
- Umfang
-
XVII, 568 Seiten
- ISBN
-
978-3-662-54457-0
- Identifier
-
1124924787
- Reihe
-
Lecture notes in computer science; 10203 ; Advanced research in computing and software science
Thema
Theoretische Informatik ; Software Engineering ; Programmiersprache ; Programmierlogik ; Formale Methode ; Konferenzschrift Uppsala
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:44 MESZ
Objekttyp
- Monografie
Beteiligte
- Esparza, Javier
- Murawski, Andrzej S.
- Springer-Verlag GmbH
Ähnliche Objekte (12)
Foundations of software science and computation structures : 19th international conference : FOSSACS 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 : 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
Fundamental approaches to software engineering : 20th international conference : FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
Principles of security and trust : 6th International Conference : POST 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : Proceedings
Fundamental approaches to software engineering : 19th international conference, FASE 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 : 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
Theory and practice of computer science : SOFSEM 2016 : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016 : proceedings
Foundations of software science and computation structures : 17th international conference ; proceedings
Principles of security and trust : 5th international conference, POST 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
Foundations of software science and computation structures : 18th international conference ; proceedings
Mathematical foundations of computer science 2015 ; Pt. 1
Mathematical foundations of computer science 2015 ; Pt. 2
Foundations of software science and computation structures : 19th international conference : FOSSACS 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 : 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
Fundamental approaches to software engineering : 20th international conference : FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
Principles of security and trust : 6th International Conference : POST 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : Proceedings
Fundamental approaches to software engineering : 19th international conference, FASE 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 : 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
Theory and practice of computer science : SOFSEM 2016 : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016 : proceedings
Foundations of software science and computation structures : 17th international conference ; proceedings
Principles of security and trust : 5th international conference, POST 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
Foundations of software science and computation structures : 18th international conference ; proceedings
Mathematical foundations of computer science 2015 ; Pt. 1
Mathematical foundations of computer science 2015 ; Pt. 2
Foundations of software science and computation structures : 19th international conference : FOSSACS 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 : 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
Fundamental approaches to software engineering : 20th international conference : FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
Principles of security and trust : 6th International Conference : POST 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : Proceedings
Fundamental approaches to software engineering : 19th international conference, FASE 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 : 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
Theory and practice of computer science : SOFSEM 2016 : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016 : proceedings
Foundations of software science and computation structures : 17th international conference ; proceedings
Principles of security and trust : 5th international conference, POST 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
Foundations of software science and computation structures : 18th international conference ; proceedings
Mathematical foundations of computer science 2015 ; Pt. 1