Monografie
Logic based program synthesis and transformation : 9th international workshop ; selected papers
- Sprache
-
Englisch
- Umfang
-
VIII, 312 S.
- ISBN
-
978-3-540-67628-7
- Identifier
-
959005196
- Reihe
-
Lecture notes in computer science; Vol. 1817
Thema
Programmsynthese ; Programmtransformation ; Programmverifikation ; Softwareentwicklung ; B ; Logische Programmierung ; Konferenzschrift Venedig; Kongress Venedig <1999>
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:40 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Logic based program synthesis and transformation : 17th international symposium ; revised selected papers
Logic based program synthesis and transformation : 11th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Functional and constraint logic programming : 18th international workshop ; revised selected papers
Functional and constraint logic programming : 19th international workshop ; revised selected papers
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Verification, model checking, and abstract interpretation : third international workshop ; revised papers
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Logic based program synthesis and transformation : 17th international symposium ; revised selected papers
Logic based program synthesis and transformation : 11th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Functional and constraint logic programming : 18th international workshop ; revised selected papers
Functional and constraint logic programming : 19th international workshop ; revised selected papers
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Verification, model checking, and abstract interpretation : third international workshop ; revised papers
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Logic based program synthesis and transformation : 17th international symposium ; revised selected papers
Logic based program synthesis and transformation : 11th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Functional and constraint logic programming : 18th international workshop ; revised selected papers
Functional and constraint logic programming : 19th international workshop ; revised selected papers
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers