Research Catalog

Analyse und Verifikation von Programmen : systemat. Verfahren u. Unters. zur Erstellung fehlerfreier Software / von Albert Endres. 1. Aufl.

Title: Analyse und Verifikation von Programmen : systemat. Verfahren u. Unters. zur Erstellung fehlerfreier Software / von Albert Endres. 1. Aufl.
Author: Endres, Albert
Publication: München ; Wien : Oldenbourg, 1977.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Book/text	Request in advance	JSE 79-822	Offsite

Description

405 p. : ill.; 24 cm.

Series Statement

Reihe Datenverarbeitung.

Subject

Note

Bibliography (note)

Call Number

JSE 79-822

ISBN

348621361X

LCCN

77564165

OCLC

Author

Endres, Albert.

Title

Analyse und Verifikation von Programmen : systemat. Verfahren u. Unters. zur Erstellung fehlerfreier Software / von Albert Endres. 1. Aufl.

Imprint

München ; Wien : Oldenbourg, 1977.

Series

Reihe Datenverarbeitung.

Bibliography

Bibliography: p. [392]-399.

Research Call Number

JSE 79-822