Monografie
Foundations of software science and computation structures : 17th international conference ; proceedings
- Language
-
Englisch
- Extent
-
XV, 456 S.
- ISBN
-
978-3-642-54829-1
- Identifier
-
1047985705
- Series
-
Lecture notes in computer science; 8412 : Advanced research in computing and software science
Subject
Theoretische Informatik ; Softwarewissenschaft ; Programmiersprache ; Programmierlogik ; Formale Methode ; Software Engineering ; Konferenzschrift Grenoble; Kongress Grenoble <2014>
Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
15.04.2024, 8:53 AM CEST
Object type
- Monografie
Other Objects (12)
Foundations of software science and computation structures : 18th international conference ; proceedings
Foundations of software science and computation structures : 16th international conference ; proceedings
Programming languages and systems : proceedings
Fundamental approaches to software engineering : 17th international conference ; proceedings
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
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
Principles of security and trust : third international conference ; proceedings
Foundations of software science and computational structures : 15th international conference ; proceedings
Foundations of software science and computational structures : 14th international conference ; proceedings
Foundations of software science and computational structures : 13th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings
Compiler construction : 23rd international conference ; proceedings
Foundations of software science and computation structures : 18th international conference ; proceedings
Foundations of software science and computation structures : 16th international conference ; proceedings
Programming languages and systems : proceedings
Fundamental approaches to software engineering : 17th international conference ; proceedings
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
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
Principles of security and trust : third international conference ; proceedings
Foundations of software science and computational structures : 15th international conference ; proceedings
Foundations of software science and computational structures : 14th international conference ; proceedings
Foundations of software science and computational structures : 13th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings
Compiler construction : 23rd international conference ; proceedings
Foundations of software science and computation structures : 18th international conference ; proceedings
Foundations of software science and computation structures : 16th international conference ; proceedings
Programming languages and systems : proceedings
Fundamental approaches to software engineering : 17th international conference ; proceedings
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
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
Principles of security and trust : third international conference ; proceedings
Foundations of software science and computational structures : 15th international conference ; proceedings
Foundations of software science and computational structures : 14th international conference ; proceedings
Foundations of software science and computational structures : 13th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings