Buch
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Rolf Stadler
Übersicht
| Verlag | : | Springer Berlin |
| Buchreihe | : | Informatik-Fachberichte (Bd. 284) |
| Sprache | : | Deutsch |
| Erschienen | : | 16. 09. 1991 |
| Seiten | : | 143 |
| Einband | : | Kartoniert |
| Höhe | : | 244 mm |
| Breite | : | 170 mm |
| Gewicht | : | 281 g |
| ISBN | : | 9783540545460 |
Inhaltsverzeichnis
1 Einführung.- 2 Die Architektur von Directory-Systemen.- 3 Eine Prolog-basierte Spezifikationssprache.- 4 Eine Architektur nach Terry.- 5 Die Spezifikationsmethode.- 6 Die Simulation eines Directory-Systems.- 7 Die Architektur von X.500.- 8 Schlussfolgerungen.- Literatur.
Dein Warenkorb
1 Artikel im Warenkorb
Deine Buchhandlung
Buchhandlung LeseLust
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr
Deine Buchhandlung
Buchhandlung LeseLust
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr