- Hauptmenü-

Katalogdatenanzeige

Korrekte Software: Semantik, Spezifikation, Verifikation und Testen von Programmen

Exemplarinformationen Katalogdatensatz500024067 .
Kataloginformation Katalogdatensatz500024067 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	ger
Name	Kowalk, Wolfgang Peter
T I T E L	Korrekte Software
Zusatz zum Titel	Semantik, Spezifikation, Verifikation und Testen von Programmen
Verlagsort	Mannheim [u.a.]
Verlag	BI-Wiss.-Verl.
Erscheinungsjahr	c 1993
Erscheinungsjahr	1993
Umfang	310 S. : graph. Darst.
Notiz / Fußnoten	Literaturverz. S. 299 - 302
ISBN	ISBN 3-411-16001-2
Klassifikation	*68-01
	68M15
	68N01
	68N15
	68Q60
	68Q55
	28
	ST 230
	ST 140
	ST 233
1. Schlagwortkette	Programmverifikation
1. Schlagwortkette ANZEIGE DER KETTE	Programmverifikation
2. Schlagwortkette	Programmverifikation
	Programm
	Korrektheit
	Beweis
ANZEIGE DER KETTE	Programmverifikation -- Programm -- Korrektheit -- Beweis
SWB-Titel-Idn	031220150
Signatur	31 503
Signatur	ST 233 K88
Internetseite / Link	Inhaltsverzeichnis
Siehe auch	Inhaltstext

ISBD-Anzeige Katalogdatensatz500024067

Kategorien-Anzeige Katalogdatensatz500024067

Titel zur Titelsammlung hinzufügen Katalogdatensatz500024067

Kataloginformation500024067 Datensatzanfang . Kataloginformation500024067 Seitenanfang .

Exemplarinformationen
Barcode	Regalstandort	Literaturabteilung	Bandzählg.	Zweigstelle	Status	Fälligkeitsdat.
00007068	ST 233 K88	Freihand		Hauptbibliothek .	. Verfügbar .

Titel vormerken Katalogdatensatz500024067

. Katalogdatensatz500024067 ItemInfo Datensatzanfang . Katalogdatensatz500024067 ItemInfo Seitenanfang .

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.