- Hauptmenü-

Katalogdatenanzeige

¬The¬ connection between applicative and procedural languages in an integrated software development and verification system

Exemplarinformationen Katalogdatensatz500009011 .
Kataloginformation Katalogdatensatz500009011 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	eng
Name	Olthoff, Walter
T I T E L	¬The¬ connection between applicative and procedural languages in an integrated software development and verification system
Erscheinungsjahr	1987
Erscheinungsjahr	1987
Umfang	247 S.
Umfang	Kaiserslautern, Univ., Diss., 1987
1. Schlagwortkette	Programmverifikation
1. Schlagwortkette	Programmiersprache
ANZEIGE DER KETTE	Programmverifikation -- Programmiersprache
SWB-Titel-Idn	01300963X
Signatur	23 761
Signatur	ST 140 O52

ISBD-Anzeige Katalogdatensatz500009011

Kategorien-Anzeige Katalogdatensatz500009011

Titel zur Titelsammlung hinzufügen Katalogdatensatz500009011

Kataloginformation500009011 Datensatzanfang . Kataloginformation500009011 Seitenanfang .

Exemplarinformationen
Barcode	Regalstandort	Literaturabteilung	Bandzählg.	Zweigstelle	Status	Fälligkeitsdat.
00129023	23 761/1	Magazin		Hauptbibliothek .	. Verfügbar .

Titel vormerken Katalogdatensatz500009011

. Katalogdatensatz500009011 ItemInfo Datensatzanfang . Katalogdatensatz500009011 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.