Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
Katalogdatenanzeige
Katalogdatenanzeige
Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
.
Bookmark für diesen Satz setzen
Katalogdatensatz500102689
.
.
Wikipedia-Verfasserlink
.
.
LibraryThing
.
Exemplarinformationen
Katalogdatensatz500102689
.
Kataloginformation
Katalogdatensatz500102689
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
ger
Name
Leszak, Marek
Eggert, Horst
ANZEIGE DER KETTE
Eggert, Horst
T I T E L
Petri-Netz-Methoden und -Werkzeuge
Zusatz zum Titel
Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
Verlagsort
Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo
Verlag
Springer
Erscheinungsjahr
1989
1989
Umfang
XII, 254 S. : graph. Darst.
Reihe
Informatik-Fachberichte ; 197
Informatik-Fachberichte
Band
197
Notiz / Fußnoten
Literaturverz. S. 248 - 254
ISBN
ISBN 3-540-50642-X
ISBN 0-387-50642-X
Klassifikation
*68-02
68N99
68Q85
004.2/1
QA76.9.S88
28
ST 130
ST 132
SS 4680
1. Schlagwortkette
Petri-Netz
Softwarespezifikation
Softwarewerkzeug
1. Schlagwortkette ANZEIGE DER KETTE
Petri-Netz -- Softwarespezifikation -- Softwarewerkzeug
2. Schlagwortkette
Petri-Netz
Software Engineering
ANZEIGE DER KETTE
Petri-Netz -- Software Engineering
3. Schlagwortkette
Petri-Netz
Softwarespezifikation
Softwarewerkzeug
ANZEIGE DER KETTE
Petri-Netz -- Softwarespezifikation -- Softwarewerkzeug
4. Schlagwortkette
Petri-Netz
CAD
ANZEIGE DER KETTE
Petri-Netz -- CAD
SWB-Titel-Idn
017038944
Signatur
24 736
Internetseite / Link
Inhaltstext
.
ISBD-Anzeige
Katalogdatensatz500102689
.
Kategorien-Anzeige
Katalogdatensatz500102689
.
Verwandte Werke
Katalogdatensatz500102689
.
Bände anzeigen
Katalogdatensatz500102689
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500102689
.
Kataloginformation500102689
Datensatzanfang
.
Kataloginformation500102689
Seitenanfang
.
Exemplarinformationen
Barcode
Regalstandort
Literaturabteilung
Bandzählg.
Zweigstelle
Status
Fälligkeitsdat.
00215010
24 736/1
Magazin
Hauptbibliothek
.
.
Verfügbar
.
Titel vormerken
Katalogdatensatz500102689
.
Katalogdatensatz500102689 ItemInfo
Datensatzanfang
.
Katalogdatensatz500102689 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.
Schnellsuche
Suche nach