- Hauptmenü-

Katalogdatenanzeige

Modellierung verteilter Systeme: Konzeption, formale Spezifikation und Verifikation mit Produktnetzen

Exemplarinformationen Katalogdatensatz500036535 .
Kataloginformation Katalogdatensatz500036535 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	ger
Name	Ochsenschläger, Peter
Name	Prinoth, Rainer
Name ANZEIGE DER KETTE	Prinoth, Rainer
T I T E L	Modellierung verteilter Systeme
Zusatz zum Titel	Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
Verlagsort	Braunschweig [u.a.]
Verlag	Vieweg
Erscheinungsjahr	1995
Erscheinungsjahr	1995
Umfang	VIII, 280 S. : graph. Darst.
Format	21 cm
Reihe	Programm Angewandte Informatik
Notiz / Fußnoten	Literaturverz. S. [269] - 278
ISBN	ISBN 3-528-05433-6 (Gb.)
Klassifikation	*68M99
	68-02
	68Q85
	35
	ST 200
1. Schlagwortkette	Telekooperation
	Kommunikationsprotokoll
	Formale Spezifikationstechnik
	Verifikation
	Produktnetz
1. Schlagwortkette ANZEIGE DER KETTE	Telekooperation -- Kommunikationsprotokoll -- Formale Spezifikationstechnik -- Verifikation -- Produktnetz
2. Schlagwortkette	Verteiltes System
	Modellierung
	Telekooperation
ANZEIGE DER KETTE	Verteiltes System -- Modellierung -- Telekooperation
SWB-Titel-Idn	044858272
Signatur	39 046
Signatur	ST 200 O16
Bemerkungen	sei
Internetseite / Link	Inhaltsverzeichnis
Siehe auch	Cover
Siehe auch	Inhaltstext

ISBD-Anzeige Katalogdatensatz500036535

Kategorien-Anzeige Katalogdatensatz500036535

Titel zur Titelsammlung hinzufügen Katalogdatensatz500036535

Kataloginformation500036535 Datensatzanfang . Kataloginformation500036535 Seitenanfang .

Exemplarinformationen
Barcode	Regalstandort	Literaturabteilung	Bandzählg.	Zweigstelle	Status	Fälligkeitsdat.
00100626	ST 200 O16	Freihand		Hauptbibliothek .	. Verfügbar .

Titel vormerken Katalogdatensatz500036535

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