Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bauer, f. l.
(2)broy, manfred
(2)dijkstra, e. w.
(2)laszlo ury
(2)tamas gergely
(2)barbara hammer
(1)brocard, d.
(1)broy, m.
(1)christoph walther
(1)dam, mads
(1)ernst-rüdiger olderog
(1)gagert, p.
(1)gerald futschek
(1)godefroid, patrice
(1)gribomont, p.
(1)hoare, c. a.
(1)hoare, c. a. r.
(1)jonsson, bengt
(1)krzysztof r. apt
(1)kurt sieber
(1)parrow, joachim
(1)pirotte, o.
(1)prehn, soren
(1)puccetti, armand
(1)pucetti, a.
(1)raguideau, j.
(1)remouchamps, a.
(1)snepscheut, jan l. a. van de
(1)ten cate, e.
(1)toetenel, hans
(1)volker sperschneider
(1)Schlagwort
programmverifikation
(15)edv
(14)informatik
(14)theorie
(10)computerprogrammierung und softwareentwicklung
(7)program verification
(7)algorithms
(6)allgemeines
(6)logic
(6)programming
(6)software engineering
(6)software-entw.
(6)verification
(6)logics and meanings of programs
(5)programverification
(5)semantik
(5)programmiersprache
(4)programming techniques
(4)semantics
(4)algorithm
(3)formal method
(3)logik
(3)programmieren
(3)programming language
(3)softwareentwicklung
(3)automaten
(2)design
(2)distributed systems
(2)engineering (maschinenbau/ingenieurswesen), allgemein
(2)engineering, general
(2)first-order reasoning
(2)first-orderreasoning
(2)formalmethod
(2)informatik, computer
(2)logik erster ordnung
(2)mathematical logic and formal languages
(2)mathematik
(2)programmiersprachen
(2)programmiertheorie
(2)programmierung
(2)programmierung (edv)
(2)programming languages, compilers, interpreters
(2)programming theory
(2)programminglanguage
(2)software
(2)software engineering/programming and operating systems
(2)softwareengineering
(2)technik
(2)technology and engineering
(2)temporal logic
(2)temporale logik
(2)temporalelogik
(2)theoretische informatik
(2)theory of computation
(2)variable
(2)verifikation
(2)verifikation - verifizieren
(2)verteilte systeme
(2)verteiltesysteme
(2)abstract data types
(1)abstrakte datentypen
(1)agent (edv) - agentensystem
(1)algo
(1)algorithmen
(1)algorithmus
(1)ar
(1)auto
(1)automata
(1)automatisches beweisen
(1)bedeutung von programmen
(1)bedeutungvonprogrammen
(1)berechenbarkeitstheorie
(1)betriebssystem (edv)
(1)beweis
(1)beweistechniken
(1)calculus
(1)chomsky-hierarchie
(1)computation by abstract devices
(1)computer
(1)computer science logic and foundations of pro
(1)computer science logic and foundations of programmi
(1)computer system implementation
(1)concurrency
(1)concurrent programming
(1)concurrent systems
(1)concurrentprogramming
(1)concurrentsystems
(1)datenstruktur
(1)datentyp
(1)development
(1)distributedsystems
(1)dokumentation
(1)energie (physikalisch)
(1)energiewirtschaft
(1)entwicklung
(1)eory
(1)erneuerbare energie
(1)fahrzeug
(1)fairneßannahmen
(1)formal specifications
(1)Ergebnis: 15 Artikel
Schlagwort: programmverifikation
