Monografie
Logic based program synthesis and transformation : 17th international symposium ; revised selected papers
- Sprache
-
Englisch
- Umfang
-
X, 217 S.
- ISBN
-
978-3-540-78768-6
- Identifier
-
987538934
- Reihe
-
Lecture notes in computer science; Vol. 4915
Thema
Programmsynthese ; Logische Programmierung ; Programmtransformation ; Softwareentwicklung ; Komponente ; Konferenzschrift Kongens Lyngby; Kongress Kongens Lyngby <2007>
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:21 MESZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Fast software encryption : 18th International Workshop ; revised selected papers
Applied parallel computing : state of the art in scientific computing ; 7th international workshop ; revised selected papers
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Logic based program synthesis and transformation : 9th international workshop ; selected papers
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Modelling foundations and applications : 8th European conference ; proceedings
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers
Generative and component based software engineering : second international symposium ; revised papers
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Fast software encryption : 18th International Workshop ; revised selected papers
Applied parallel computing : state of the art in scientific computing ; 7th international workshop ; revised selected papers
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Logic based program synthesis and transformation : 9th international workshop ; selected papers
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Modelling foundations and applications : 8th European conference ; proceedings
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers
Generative and component based software engineering : second international symposium ; revised papers
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Fast software encryption : 18th International Workshop ; revised selected papers
Applied parallel computing : state of the art in scientific computing ; 7th international workshop ; revised selected papers
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Logic based program synthesis and transformation : 9th international workshop ; selected papers
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Modelling foundations and applications : 8th European conference ; proceedings
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers