Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
antonio cerone
(2)bernd-holger schlingloff
(2)gerardo schneider
(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: 2 Artikel
Titel: formal methods for software engineering
