Serie
lecture notes in computer science
(42)programming and software engineering
(13)theoretical computer science and general issues
(13)nato asi subseries f:
(5)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
schwichtenberg, helmut
(3)bauer, f. l.
(2)berger, ulrich
(2)broy, manfred
(2)dijkstra, e. w.
(2)ernst-rüdiger olderog
(2)frank s. de boer
(2)krzysztof r. apt
(2)laszlo ury
(2)liu, zhiming
(2)nicolas halbwachs
(2)paulin-mohring, christine
(2)tamas gergely
(2)woodcock, jim
(2)zhu, huibiao
(2)abdulbaki aydin
(1)audebaud, philippe
(1)baltag, alexandru
(1)barthe, gilles
(1)beckert, bernhard
(1)best, eike
(1)bosnacki, dragan
(1)broy, m.
(1)bruynooghe, maurice
(1)chang, bor-yuh evan
(1)clarke, dave
(1)cleaveland, walter r.
(1)dan a. simovici
(1)dediu, adrian horia
(1)di pierro, alessandra
(1)dierkes, michael
(1)dietmar ratz
(1)dybjer, peter
(1)etalle, sandro
(1)faber, wolfgang
(1)fang yu
(1)felleisen, matthias
(1)fernau, henning
(1)flemming nielson
(1)gallagher, john
(1)gamboa, ruben
(1)gardner, philippa
(1)gibbons, jeremy
(1)gimenet, eduardo
(1)hanne riis nielson
(1)hermenegildo, manuel v
(1)hoare, c. a.
(1)hoare, c. a. r.
(1)huisman, marieke
(1)hähnle, reiner
(1)igarashi, atsushi
(1)job zwiers
(1)jonsson, bengt
(1)josyula r. rao
(1)jürjens, jan
(1)klein, gerwin
(1)lau kung-kiu
(1)lau, kung-kiu
(1)lecomte, thierry
(1)lembo, domenico
(1)levi, giorgio
(1)livshits, ben
(1)lopez-garcia, pedro
(1)malacaria, pasquale
(1)martin hofmann
(1)martin-vide, carlos
(1)matthias hocks
(1)morris, joseph m.
(1)muath alkhalaf
(1)muscholl, anca
(1)nagarajan, rajagopal
(1)nielson, hanne r.
(1)noble, james
(1)nuno oliveira, jose
(1)parrow, joachim
(1)pecheur, charles
(1)peter a. fejer
(1)pettorossi, alberto
(1)pinger, ralf
(1)pinto, luis
(1)podelski, andreas
(1)ranzato, francesco
(1)ribeiro, leila
(1)rival, xavier
(1)rolf hammer
(1)scandariato, riccardo
(1)seidl, martina
(1)shaw, roger c.
(1)soares barbosa, luís
(1)steffen, bernhard
(1)stoelinga, mariëlle
(1)tevfik bultan
(1)thiemann, peter
(1)tillmann, nikolai
(1)ulrich kulisch
(1)uwe schöning
(1)wijs, anton
(1)wrigstad, tobias
(1)Ábrahám, erika
(1)Verlag / Hersteller
springer berlin heidelberg
(37)springer international publishing
(15)springer london
(4)springer us
(2)Verlag
springer berlin heidelberg
(37)springer international publishing
(15)springer london
(4)springer us
(2)Schlagwort
program verification
(60)
programverification
(60)edv
(57)informatik
(55)software engineering
(27)logics and meanings of programs
(23)verification
(22)logic
(20)theory of computation
(20)semantics
(18)theorie
(18)mathematical logic and formal languages
(15)program analysis
(15)programanalysis
(14)formal methods
(13)model checking
(13)programming
(13)formalmethods
(12)computerprogrammierung und softwareentwicklung
(11)logic programming
(11)logicprogramming
(11)modelchecking
(11)algorithms
(10)mathematik
(10)programming languages, compilers, interpreters
(10)software-entw.
(10)allgemeines
(9)mathematical logic and foundations
(8)programmiersprachen
(8)programming language
(8)programming techniques
(8)software engineering/programming and operating systems
(8)theoretische informatik
(8)type theory
(8)program semantics
(7)program specification
(7)programspecification
(7)typetheory
(7)complexity
(6)programmieren (edv)
(6)programminglanguage
(6)programsemantics
(6)abstract interpretation
(5)abstractinterpretation
(5)algorithm
(5)artificial intelligence
(5)computation by abstract devices
(5)computer system implementation
(5)concurrency
(5)functional programming
(5)program synthesis
(5)program transformation
(5)programmverifikation
(5)programsynthesis
(5)special purpose and application-based systems
(5)automata
(4)computational logic
(4)concurrent systems
(4)concurrentsystems
(4)entwicklung
(4)functionalprogramming
(4)java
(4)process algebra
(4)processalgebra
(4)programmieren
(4)programming theory
(4)theoremproving
(4)algorithmanalysisandproblemcomplexity
(3)betriebssystem (edv)
(3)bug detection
(3)compiler
(3)computer
(3)computerprogramm
(3)data flow analysis
(3)dataflowanalysis
(3)debugging
(3)design
(3)embedded systems
(3)embeddedsystems
(3)imperative programming
(3)imperativeprogramming
(3)modeling
(3)operating system
(3)operating systems
(3)parallelism
(3)programming languages
(3)programtransformation
(3)proof theory
(3)prooftheory
(3)software
(3)sonstiges
(3)static analysis
(3)theorem proving
(3)type systems
(3)typentheorie
(3)typesystems
(3)abstract testing
(2)abstracttesting
(2)algorithm analysis and problem complexity
(2)algorithmus
(2)Erscheinungsjahr
1989
(1)1991
(2)1992
(2)1993
(1)1994
(1)1995
(1)1996
(1)1997
(1)1998
(1)1999
(1)2001
(1)2002
(2)2004
(2)2005
(1)2008
(3)2009
(2)2010
(2)2011
(5)2012
(5)2013
(7)2014
(3)2016
(6)2017
(2)2018
(1)2019
(3)2020
(2)2021
(1)Ergebnis: 60 Artikel
Schlagwort: programverification
