Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
gerardo schneider
(4)
alessandro panconesi
(2)antonio cerone
(2)bernd-holger schlingloff
(2)devdatt dubhashi
(2)markus roggenbach
(2)siraj ahmed shaikh
(2)Schlagwort
algebraic specification
(2)casl
(2)csp
(2)formal methods
(2)logic
(2)process algebras
(2)software engineering
(2)software engineering/programming and operating systems
(2)theory of computation
(2)verification
(2)algebraicspecification
(1)computer and information systems application
(1)computer applications
(1)computer science logic and foundations of programming
(1)edv
(1)formalmethods
(1)informatik
(1)logics and meanings of programs
(1)mathematical and computational engineering
(1)mathematical and computational engineering applications
(1)processalgebras
(1)softwareengineering
(1)symbolic and algebraic manipulation
(1)theoretische informatik
(1)Ergebnis: 4 Artikel
Autor: gerardo schneider
