Record link: 
http://hdl.handle.net/20.500.12708/188032
-
Title: 
Programmentwicklung und Verifikation
de
Citation: 
Futschek, G. (1989). Programmentwicklung und Verifikation (H. Schauer, Ed.). Springer Wien.
-
Publication Type: 
Book - Monograph
en
Language: 
German
-
Authors: 
Futschek, Gerald 
-
Editors: 
Schauer, Helmut 
-
Organisational Unit: 
E194-01 - Forschungsbereich Software Engineering 
E194 - Institut für Information Systems Engineering 
-
ISBN: 
978-3-211-81867-1
-
Date (published): 
23-Mar-1989
-
Number of Pages: 
183
-
Publisher: 
Springer Wien
-
Keywords: 
Softwareentwicklung
de
Research Areas: 
Information Systems Engineering: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Book

Show full item record

Page view(s)

131
checked on Nov 22, 2023

Google ScholarTM

Check