Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
tarlecki, andrzej
(6)
arge, lars
(1)astesiano, egidio
(1)cachin, christian
(1)fitzgerald, john
(1)hayes, ian j.
(1)jurdzinski, tomasz
(1)kurz, alexander
(1)lenisa, marina
(1)marcinkowski, jerzy
(1)reggio, gianna
(1)sanella, donald
(1)Schlagwort
edv
(6)informatik
(6)semantics
(4)software engineering
(4)theorie
(4)logic
(3)programmiersprachen
(3)software-entw.
(3)verification
(3)allgemeines
(2)automata
(2)complexity
(2)formal specification
(2)formalspecification
(2)logics and meanings of programs
(2)logik
(2)model checking
(2)modelchecking
(2)modeling
(2)programmier- und skriptsprachen, allgemein
(2)programming
(2)programming languages, compilers,
(2)3-sat
(1)abstract data types
(1)abstractdatatypes
(1)ai erfüllbarkeitsproblemderaussagenlogik
(1)ai logics
(1)algebra
(1)algebraic techniques
(1)algebraictechniques
(1)algebraische methoden
(1)algebraischemethoden
(1)algo
(1)algorithms
(1)architecture
(1)astrakte datentypen
(1)astraktedatentypen
(1)automat
(1)automatentheorie
(1)bisimulation
(1)c* algebras
(1)calculus
(1)classical logic
(1)classicalcomplexity
(1)coalgebra automata
(1)coinduction
(1)computer science
(1)computer science logic
(1)computerprogrammierung und softwareentwicklung
(1)computerscience
(1)computersciencelogic
(1)concurrency
(1)concurrent systems
(1)concurrentsystems
(1)convay games
(1)csp
(1)data structure
(1)data structures
(1)data structures and information theory
(1)database
(1)datastructure
(1)datastructures
(1)datentypen
(1)discrete mat
(1)discrete mathematics in computer science
(1)diskret (mathematisch)
(1)distributive ontologies
(1)erfüllbarkeitsproblem der aussagenlogik
(1)formal method
(1)formal methods
(1)formal testing
(1)formal verification
(1)formale spezifikation
(1)formalespezifikation
(1)formalmethod
(1)formaltesting
(1)formalverification
(1)game theory
(1)grammars
(1)heyting algebras
(1)informatik, computer
(1)inheritance
(1)linear logic
(1)linearlogic
(1)mathematical logic
(1)mathematical logic and formal languages
(1)mathematical program construction
(1)mathematicallogic
(1)mathematicalprogramconstruction
(1)mathematics of computing
(1)mathematik
(1)nebenläufige systeme
(1)nebenläufigesysteme
(1)numeric computing
(1)object-orientation
(1)philosophie
(1)pr
(1)progra
(1)program analysis
(1)program correctness
(1)Ergebnis: 6 Artikel
Autor: tarlecki, andrzej
