An edition of Konzeption eines Verfahrens zur rechnerunterstützten Verifikation des Entwurfs von Automatisierungsprogrammen (1987)

Konzeption eines Verfahrens zur rechnerunterstützten Verifikation des Entwurfs von Automatisierungsprogrammen

by

Konzeption eines Verfahrens zur rechnerunters ...
Peter Baur, Peter Baur
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 6, 2024 | History
Edit
An edition of Konzeption eines Verfahrens zur rechnerunterstützten Verifikation des Entwurfs von Automatisierungsprogrammen (1987)

Konzeption eines Verfahrens zur rechnerunterstützten Verifikation des Entwurfs von Automatisierungsprogrammen

by

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

Publish Date
Language
German
Pages
115

Check nearby libraries

Buy this book

Edition Availability
Cover of: Konzeption eines Verfahrens zur rechnerunterstützten Verifikation des Entwurfs von Automatisierungsprogrammen
Konzeption eines Verfahrens zur rechnerunterstützten Verifikation des Entwurfs von Automatisierungsprogrammen
1987
in German

Add another edition?

Book Details

Edition Notes

Thesis (doctoral)--Universität Stuttgart, 1987.

The Physical Object

Pagination
115 p.
Number of pages
115

Edition Identifiers

Open Library
OL57032386M
OCLC/WorldCat
55118963

Work Identifiers

Work ID
OL41995255W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON