An edition of Programmentwicklung und Verifikation (1989)

Programmentwicklung und Verifikation

by

Programmentwicklung und Verifikation
Gerald Futschek, Gerald Futsch ...
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

Last edited by ImportBot
October 4, 2021 | History
Edit
An edition of Programmentwicklung und Verifikation (1989)

Programmentwicklung und Verifikation

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer-Verlag
Language
German
Pages
183

Check nearby libraries

Buy this book

Subjects

Computer programming Computer programs Verification
Edition Availability
Cover of: Programmentwicklung und Verifikation
Programmentwicklung und Verifikation
Mar 23, 1989, Springer
paperback
Cover of: Programmentwicklung und Verifikation
Programmentwicklung und Verifikation
1989, Springer-Verlag
in German

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [179]).

Published in
Wien, New York
Series
Springers angewandte Informatik,

Classifications

Dewey Decimal Class
005
Library of Congress
QA76.6 .F88 1989

The Physical Object

Pagination
ix, 183 p. ;
Number of pages
183

Edition Identifiers

Open Library
OL1901092M
ISBN 10
0387818677
LCCN
90101752

Work Identifiers

Work ID
OL4495710W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON