Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
danvy, olivier
(2)henglein, fritz
(2)mairson, harry
(2)pettorossi, alberto
(2)hatcliff, john
(1)mogensen, torben
(1)thiemann, peter
(1)Schlagwort
edv
(3)informatik
(3)logic
(3)program specialization
(3)
programspecialization
(3)software engineering
(3)algorithm
(2)algorithm construction
(2)algorithmconstruction
(2)algorithms
(2)automata
(2)automatic program derivation
(2)automaticprogramderivation
(2)c programming language
(2)cprogramminglanguage
(2)development
(2)formal specification
(2)formalspecification
(2)object oriented design
(2)objectorienteddesign
(2)program derivation systems
(2)program transformation
(2)programderivationsystems
(2)programming
(2)algorithmus
(1)complexity
(1)formal methods
(1)formalmethods
(1)functional programming
(1)functionalprogramming
(1)logic programming
(1)logicprogramming
(1)partial evaluation
(1)partialevaluation
(1)program analysis
(1)program semantic
(1)programanalysis
(1)programmiersprachen
(1)programmierung
(1)programming languages, compilers, interpreters
(1)programming techniques
(1)programsemantic
(1)programtransformation
(1)software engineerin
(1)software engineering/programmi
(1)software engineering/programming and operating systems
(1)software testing
(1)software-entw.
(1)softwaretesting
(1)theorie
(1)Ergebnis: 3 Artikel
Schlagwort: programspecialization
