Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
algebraic specification
(2)algebraicspecification
(2)behavioural specifications
(2)behaviouralspecifications
(2)category theory
(2)categorytheory
(2)computerprogrammierung und softwareentwicklung
(2)edv
(2)formal program development
(2)formal software development
(2)formalprogramdevelopment
(2)formalsoftwaredevelopment
(2)informatik
(2)logics and meanings of programs
(2)software engineering/programming and operating systems
(2)universal algebra
(2)universalalgebra
(2)category theory, homological algebra
(1)mathematical logic and foundatio
(1)mathematical logic and foundations
(1)software engineering
(1)software-entw.
(1)the
(1)theorie
(1)Ergebnis: 2 Artikel
Autor: Donald Sannella
