Serie
lecture notes in computer science
(77)theoretical computer science and general issues
(23)programming and software engineering
(21)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
barthe, gilles
(3)beckert, bernhard
(3)davies, jim
(3)schwichtenberg, helmut
(3)abdulbaki aydin
(2)bauer, f. l.
(2)berger, ulrich
(2)broy, manfred
(2)bruno berstel-da silva
(2)clarke, edmund m.
(2)cortesi, agostino
(2)dijkstra, e. w.
(2)emerson, e. allen
(2)ernst-rüdiger olderog
(2)fang yu
(2)frank s. de boer
(2)henzinger, thomas a.
(2)hähnle, reiner
(2)krzysztof r. apt
(2)laszlo ury
(2)liu, zhiming
(2)mingsheng ying
(2)muath alkhalaf
(2)nicolas halbwachs
(2)paulin-mohring, christine
(2)tamas gergely
(2)tevfik bultan
(2)timothy colburn
(2)veith, helmut
(2)wing, jeannette m.
(2)woodcock, jim
(2)woodcook, jim
(2)zhu, huibiao
(2)ahmed, amal
(1)alves-foss, james
(1)attie, paul d.
(1)audebaud, philippe
(1)baltag, alexandru
(1)best, eike
(1)bloem, roderick
(1)bosnacki, dragan
(1)brocard, d.
(1)broy, m.
(1)bruynooghe, maurice
(1)chang, bor-yuh evan
(1)chechik, marsha
(1)clarke, dave
(1)cleaveland, walter r.
(1)clément hurlin
(1)dan a. simovici
(1)de decker, bart
(1)dediu, adrian horia
(1)desharnais, jules
(1)di pierro, alessandra
(1)dierkes, michael
(1)dietmar ratz
(1)dongol, brijesh
(1)dubois, catherine
(1)dybjer, peter
(1)el abbadi, amr
(1)etalle, sandro
(1)faber, wolfgang
(1)felleisen, matthias
(1)fernau, henning
(1)flemming nielson
(1)gagert, p.
(1)gallagher, john
(1)gamboa, ruben
(1)garbinato, benoît
(1)gardner, philippa
(1)gibbons, jeremy
(1)gimenet, eduardo
(1)godefroid, patrice
(1)gogolla, martin
(1)gribomont, p.
(1)guttmann, walter
(1)hanne riis nielson
(1)hermenegildo, manuel
(1)hermenegildo, manuel v
(1)hill, patricia m.
(1)hinze, ralf
(1)hoare, c. a.
(1)hoare, c. a. r.
(1)huisman, marieke
(1)igarashi, atsushi
(1)job zwiers
(1)jonsson, bengt
(1)joosten, stef
(1)josyula r. rao
(1)jürjens, jan
(1)klein, gerwin
(1)kozen, d.
(1)kozen, dexter
(1)lau kung-kiu
(1)lau, kung-kiu
(1)lecomte, thierry
(1)lembo, domenico
(1)leuschel, m.
(1)levi, giorgio
(1)livshits, ben
(1)Verlag / Hersteller
crc press
(2)elsevier science
(2)lap lambert academic publishing
(2)springer berlin heidelberg
(66)springer international publishing
(26)springer london
(4)springer us
(2)taylor & francis
(2)Verlag
crc press
(2)elsevier science
(2)lap lambert academic publishing
(2)springer berlin heidelberg
(66)springer international publishing
(26)springer london
(4)springer us
(2)taylor & francis
(2)Schlagwort
program verification
(109)edv
(97)informatik
(97)programverification
(60)software engineering
(55)theorie
(44)logics and meanings of programs
(37)software-entw.
(34)verification
(34)model checking
(33)formal methods
(31)semantics
(29)theory of computation
(28)logic
(24)mathematik
(24)program analysis
(24)formalmethods
(23)mathematical logic and formal languages
(20)programmiersprachen
(19)computerprogrammierung und softwareentwicklung
(18)modelchecking
(18)programanalysis
(18)programming
(18)algorithms
(17)logic programming
(17)allgemeines
(16)compiler
(16)programming languages, compilers, interpreters
(15)programming techniques
(14)übersetzer (edv)
(14)abstract interpretation
(13)artificial intelligence
(13)program semantics
(13)informatik, computer
(12)logicprogramming
(12)java
(11)mathematical logic and foundations
(11)programsemantics
(11)software engineering/programming and operating systems
(11)concurrency
(10)program specification
(10)program transformation
(10)programmieren
(10)programming language
(10)theoretische informatik
(10)intelligenz
(9)ki
(9)künstliche intelligenz
(9)künstliche intelligenz - ai
(9)programming languages
(9)programspecification
(9)type theory
(9)complexity
(8)computer
(8)logik
(8)program synthesis
(8)programmieren (edv)
(8)abstractinterpretation
(7)betriebssystem (edv)
(7)design
(7)functional programming
(7)operating system
(7)programmverifikation
(7)typetheory
(7)algorithm
(6)algorithmus
(6)artificialintelligence
(6)computation by abstract devices
(6)computational logic
(6)computer system implementation
(6)concurrent systems
(6)concurrentsystems
(6)formal logic
(6)programminglanguage
(6)software
(6)theoremproving
(6)automata
(5)computer science
(5)computers
(5)constraint programming
(5)distributed systems
(5)embedded systems
(5)entwicklung
(5)functionalprogramming
(5)operational semantics
(5)programsynthesis
(5)softwareentwicklung
(5)special purpose and application-based systems
(5)theorem proving
(5)algorithmanalysisandproblemcomplexity
(4)automata theory
(4)data flow analysis
(4)debugging
(4)embeddedsystems
(4)formal method
(4)imperative programming
(4)imperativeprogramming
(4)mathematical logic
(4)modeling
(4)optimization
(4)Erscheinungsjahr
1975
(1)1982
(1)1989
(1)1991
(4)1992
(2)1993
(1)1994
(1)1995
(2)1996
(2)1997
(2)1998
(1)1999
(5)2000
(1)2001
(1)2002
(4)2003
(1)2004
(3)2005
(2)2006
(1)2007
(1)2008
(4)2009
(3)2010
(4)2011
(12)2012
(6)2013
(7)2014
(5)2015
(3)2016
(8)2017
(4)2018
(6)2019
(4)2020
(3)2021
(1)2023
(1)2024
(1)Ergebnis: 109 Artikel
Schlagwort: program verification
