Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Academic Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: subject:"Programmverifikation"
Narrow search
Narrow search
Year of publication
From:
To:
Subject
All
Programmverifikation
10
Datenverarbeitung
2
Berechenbarkeit
1
Computerarchitektur
1
EDV-Systemprüfung
1
Elektronik Software
1
Entscheidungstheorie
1
Entwurf
1
FORTRAN
1
Hand- und Lehrbücher, Nachschlagewerke
1
Informationsverarbeitung
1
Kioto <1978>
1
Kongress
1
Mathematische Logik
1
Mikroprogrammierung
1
Programmieren
1
Programmierung
1
Programmsynthese
1
Recht
1
Revision <Wirtschaft>
1
Revisionswesen
1
Software
1
Softwarespezifikation
1
Softwaresystem
1
Sparkasse
1
Verfassungsrecht
1
Verifikation
1
Öffentliches Unternehmen
1
more ...
less ...
Type of publication
All
Book / Working Paper
10
Type of publication (narrower categories)
All
Hochschulschrift
2
Konferenzschrift
1
Language
All
English
5
Undetermined
3
German
2
Author
All
Anderson, Robert B.
1
Bakker, Jacobus Willem de
1
Bird, Richard
1
Blum, Edward K.
1
Boyer, Robert S.
1
Damm, Werner
1
Duck, Klaus
1
Endres, Albert
1
Loeckx, Jacques
1
Manna, Zohar
1
Sieber, Kurt
1
Waldinger, Richard
1
more ...
less ...
Published in...
All
Elsevier computer science library / Artificial intelligence series
1
Informatik-Fachberichte
1
Lecture notes in computer science
1
Reihe Datenverarbeitung
1
Steuer, Wirtschaft und Recht : SWR
1
Source
All
USB Cologne (EcoSocSci)
8
ECONIS (ZBW)
2
Showing
1
-
10
of
10
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Damm, Werner
-
1987
Persistent link: https://www.econbiz.de/10004056271
Saved in:
2
Die Prüfung von ADV-Programmen : eine entscheidungsorientierte Analyse der Methoden zur Revision von Softwaresystemen
Duck, Klaus
-
1985
-
1. Aufl.
Persistent link: https://www.econbiz.de/10013430915
Saved in:
3
The foundations of program verification
Loeckx, Jacques
;
Sieber, Kurt
-
1984
Persistent link: https://www.econbiz.de/10004618824
Saved in:
4
The correctness problem in computer science
Boyer, Robert S.
(
contributor
)
-
1981
Persistent link: https://www.econbiz.de/10004006612
Saved in:
5
Mathematical theory of program correctness
Bakker, Jacobus Willem de
-
1980
-
1. [Dr.]
Persistent link: https://www.econbiz.de/10004153109
Saved in:
6
Proving programs correct
Anderson, Robert B.
-
1979
Persistent link: https://www.econbiz.de/10003998415
Saved in:
7
Programs and machines : an introd. to the theory of computation
Bird, Richard
-
1976
Persistent link: https://www.econbiz.de/10003999332
Saved in:
8
Studies in automatic programming logic
Manna, Zohar
(
contributor
);
Waldinger, Richard
(
contributor
)
-
1977
Persistent link: https://www.econbiz.de/10004613949
Saved in:
9
Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23 - 26, 1978
Blum, Edward K.
(
contributor
)
-
1979
Persistent link: https://www.econbiz.de/10004681311
Saved in:
10
Analyse und Verifikation von Programmen : systematische Verfahren und Untersuchungen zur Erstellung fehlerfreier Software
Endres, Albert
-
1977
-
1. Aufl.
Persistent link: https://www.econbiz.de/10000115314
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
