Serie
lecture notes in computer science
(12)programming and software engineering
(6)theoretical computer science and general issues
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bruce w. watson
(2)derrick g. kourie
(2)morazán, marco t.
(2)amadio, roberto
(1)araki, keijiro
(1)bensalem, saddek
(1)bernard
(1)fitzgerald, john
(1)giannakopoulou, dimitra
(1)gnesi, stefania
(1)gogolla, martin
(1)hagiya, masami
(1)hayes, ian j.
(1)hu, zhenjiang
(1)kameyama, yukiyoshi
(1)lakhneck, yassine
(1)legay, axel
(1)liu, zhiming
(1)mandrioli, dion
(1)misra, jayadev
(1)nipkow, tobias
(1)rodriquez-artalejo, mario
(1)salaün, gwen
(1)seidl, helmut
(1)sekerinski, emil
(1)stuckey, peter j.
(1)tarlecki, andrzej
(1)wadler, philip
(1)wolff, burkhart
(1)zhang, zili
(1)Verlag / Hersteller
springer berlin heidelberg
(12)springer international publishing
(2)springer, berlin springer international publishing springer
(2)Verlag
springer
(2)springer berlin heidelberg
(12)springer international publishing
(4)springer, berlin
(2)Schlagwort
informatik
(17)
program correctness
(17)edv
(15)formal methods
(10)software engineering
(10)programcorrectness
(8)model checking
(7)programmiersprachen
(7)software-entw.
(7)theorie
(7)compiler
(6)informatik, computer
(6)mathematik
(6)program analysis
(6)übersetzer (edv)
(6)formal verification
(5)formalmethods
(5)functional programming
(5)logics and meanings of programs
(5)programming
(5)logic
(4)mathematical logic and formal languages
(4)programmieren (edv)
(4)semantics
(4)theory of computation
(4)verification
(4)automata
(3)betriebssystem (edv)
(3)formal testing
(3)funktional
(3)logic programming
(3)logikprogrammierung
(3)mathematical logic and foundations
(3)meta-programming
(3)modelchecking
(3)modeling
(3)operating system
(3)programanalysis
(3)programming language
(3)software verification
(3)softwareengineering
(3)algorithm correctness
(2)algorithmcorrectness
(2)complexity
(2)first-order predicate logic
(2)first-orderpredicatelogic
(2)formal method
(2)formal specification
(2)formalmethod
(2)functionalprogramming
(2)game programming
(2)heuristics
(2)iteration
(2)mathematical foundations
(2)mathematical program construction
(2)object-orientation
(2)object-oriented programming
(2)partial methods
(2)partialmethods
(2)pre- and post-conditions
(2)pre-andpost-conditions
(2)predicate calculus
(2)predicatecalculus
(2)program design
(2)programming techniques
(2)real-time systems
(2)recursion
(2)schnittstelle (edv)
(2)software e
(2)type-based programming
(2)xml
(2)abstraction
(1)adaptive systems
(1)algebraic methods
(1)algorithm
(1)architecture
(1)automat
(1)automata learning
(1)automated static analysis
(1)automated verification tools
(1)automatedstaticanalysis
(1)automatentheorie
(1)bug detection
(1)c
(1)communication
(1)compilers
(1)complex systems
(1)complexsystems
(1)component-based systems
(1)component-basedsystems
(1)comput
(1)computation by abstract
(1)computational structures
(1)computerprogrammierung
(1)computerprogrammierung und softwareentwick
(1)computerprogrammierung und softwareentwicklung
(1)computers
(1)computing
(1)constraint programming
(1)constraintprogramming
(1)Erscheinungsjahr
2002
(1)2003
(1)2004
(1)2005
(1)2006
(2)2007
(1)2008
(1)2011
(1)2012
(1)2014
(3)2016
(1)2022
(1)2023
(1)2024
(1)Ergebnis: 17 Artikel
Schlagwort: program correctness
