Katalog der ZIB-Bibliothek

Titelsatz

Anzeigeformat

Satz 1 von 1

	Analyse und Verifikation von Programmen: Systemat. Verfahr. u. Untersuch. z. Erstell. fehlerfreier Software
1. Person/Familie	Endres, Albert
Titel	Analyse und Verifikation von Programmen: Systemat. Verfahr. u. Untersuch. z. Erstell. fehlerfreier Software
Verlagsort	Muenchen u.a.
Verlag	Oldenbourg
E-Jahr	1977
Umfangsangabe	405 S.
HT 1. Reihe u. Zähl.	Reihe Datenverarbeitung
ISBN	3-486-21361-X
Notation	D.2.4
Notation	D.2.5
Notation	G.4
Notation	D.1.0
Notation	I.1.2
Notation	I.2.2
Notation	5.24 E
Notation	4.0
Bestand	1
Sign-Info	D.2.4 End

Hinweise zur Anzeige im Standardformat:

Klicken Sie auf eine unterstrichene Feldbezeichnung, um zur Indexliste zu kommen.
Klicken Sie auf Bestand, um zur Bestandsliste zu gelangen und ggf. zu bestellen.
Klicken Sie auf einen unterstrichenen Feldinhalt, um verwandte Titel zu sehen.
Klicken Sie auf den Pfeil, um verknüpfte Sätze aufzurufen.

Analyse und Verifikation von Programmen: Systemat. Verfahr. u. Untersuch. z. Erstell. fehlerfreier Software