Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
zhu, huibiao
(2)bowen, jonathan p.
(1)butterfield, andrew
(1)dunne, steve
(1)feliachi, abderrahmane
(1)gaudel, marie-claude
(1)liu, zhiming
(1)naumann, david
(1)qin, shengchao
(1)ribeiro, pedro
(1)sampaio, augusto
(1)stoddart, bill
(1)wolff, burkhard
(1)woodcock, jim
(1)Verlag / Hersteller
springer berlin heidelberg
(5)springer international publishing
(3)Schlagwort
edv
(8)informatik
(8)software engineering
(6)theorie
(4)compiler
(3)computerprogrammierung und softwareentwicklung
(3)csp
(3)formal methods
(3)programmiersprachen
(3)programming
(3)software-entw.
(3)übersetzer (edv)
(3)algebraic semantics
(2)algebraicsemantics
(2)betriebssystem (edv)
(2)co-operating
(2)correctness
(2)denotational semantics
(2)denotationalsemantics
(2)formalmethods
(2)galois connections
(2)informatik, computer
(2)intelligenz
(2)ki
(2)künstliche intelligenz
(2)künstliche intelligenz - ai
(2)logics and meanings of programs
(2)mathematik
(2)modeling
(2)object-oriented programming
(2)object-orientedprogramming
(2)operating system
(2)pr
(2)programming techniques
(2)programming theory
(2)semantics
(2)softwareengineering
(2)allgemeines
(1)artificial intelligence
(1)automated reasoning
(1)automatedreasoning
(1)ccs
(1)comp
(1)complexity theory and logic
(1)complexitytheoryandlogic
(1)computation
(1)computation by abstract devices
(1)computational model
(1)computationalmodel
(1)computer programming
(1)computer science
(1)computer security
(1)computerprogrammi
(1)computerprogramming
(1)computerscience
(1)concurrency
(1)concurrent separation logic
(1)concurrentseparationlogic
(1)confidentiality properties
(1)design
(1)distributed testing
(1)expectations
(1)formal languages
(1)formal modeling
(1)formal software verification
(1)formal specification
(1)formallanguages
(1)formalmodeling
(1)formalsoftwareverification
(1)formalspecification
(1)galoisconnections
(1)hardware
(1)hcsp
(1)hoare logic
(1)hoarelogic
(1)hol
(1)hybrid hoare logic
(1)hybrid systems
(1)hybridhoarelogic
(1)hybridsystems
(1)interactive theorem proving
(1)interactivetheoremproving
(1)interpreters
(1)isabelle
(1)isabelle/hol
(1)language classification
(1)languageclassification
(1)laws of programming
(1)lawsofprogramming
(1)logic and verification
(1)logicandverification
(1)logics
(1)logicsandmeaningsofprograms
(1)mathematical logic
(1)mathematical logic and formal lang
(1)mathematicallogic
(1)maude
(1)meanings of programs
(1)model checking
(1)model-based testing
(1)Ergebnis: 8 Artikel
Titel: unifying theories of programming
