Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache: 284 (Informatik-Fachberichte) - Softcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
Reseña del editor:
Das Buch behandelt die Spezifikation von Directory-Systemen unter Anwendung von Konzepten der logischen Programmierung. Ausgehend von der Definition derArchitektur eines Directory-Systems wird eine Spezifikationsmethode zur Beschreibung solcher Architekturen vorgestellt. Als Spezifikationssprache dient die Sprache der Hornklausel-Logik, erweitert um Negation. Im Buch werden eine von D.B. Terry bei Xerox PARC entworfene Architektur und ein Ausschnitt aus der Architektur des internationalen Standards f}r Directory-Systeme (X.500) spezifiziert. Daran lassen sich die Vorteile der vorgeschlagenen Methode aufzeigen: Die Spezifikationen sind kompakt, gut lesbar und besitzen eine deklarative und eine prozedurale Semantik. Die erstellten Spezifikationen lassen sich auf einem Prolog-System ausf}hren. Die Ausf}hrbarkeit der Spezifikationen erweist sich als vielseitig anwendbare Eigenschaft, welche beispielsweise die Simulation eines Directory-Systems bei gegebener Konfiguration erm|glicht oder die ]berpr}fung (Verifikation, Validierung) einer Spezifikation erleichtert.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum1991
- ISBN 10 3540545468
- ISBN 13 9783540545460
- EinbandTapa blanda
- Anzahl der Seiten156
Neu kaufen
Mehr zu diesem Angebot erfahren
EUR 57,23
Versand:
Gratis
Innerhalb der USA
Beste Suchergebnisse bei AbeBooks
Foto des Verkäufers
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache (Informatik-Fachberichte) (German Edition) by Stadler, Rolf [Perfect Paperback ]
Print-on-Demand
Anbieter:
Bewertung
Buchbeschreibung Soft Cover. Zustand: new. This item is printed on demand. Bestandsnummer des Verkäufers 9783540545460
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 57,23
Währung umrechnen
Beispielbild für diese ISBN
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache (Informatik-Fachberichte, 284) (German Edition)
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020170076
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 61,28
Währung umrechnen
Beispielbild für diese ISBN
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Print-on-Demand
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9783540545460_lsuk
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 58,04
Währung umrechnen
Beispielbild für diese ISBN
Ausf?hrbare Spezifikation von Directory-Systemen in einer logischen Sprache
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. pp. 156. Bestandsnummer des Verkäufers 26101636476
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 68,44
Währung umrechnen
Beispielbild für diese ISBN
Ausfuhrbare Spezifikation von Directory-Systemen in einer logischen Sprache
Anbieter:
Bewertung
Buchbeschreibung PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540545460
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 55,10
Währung umrechnen
Foto des Verkäufers
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Verlag:
Springer Berlin Heidelberg Sep 1991
(1991)
ISBN 10: 3540545468
ISBN 13: 9783540545460
Neu
Taschenbuch
Anzahl: 2
Anbieter:
Bewertung
Buchbeschreibung Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch behandelt die Spezifikation von Directory-Systemenunter Anwendung von Konzepten der logischen Programmierung.Ausgehend von der Definition derArchitektur einesDirectory-Systems wird eine Spezifikationsmethode zurBeschreibung solcher Architekturen vorgestellt. AlsSpezifikationssprache dient die Sprache derHornklausel-Logik, erweitert um Negation. Im Buch werdeneine von D.B. Terry bei Xerox PARC entworfene Architekturund ein Ausschnitt aus der Architektur des internationalenStandards f}r Directory-Systeme (X.500) spezifiziert. Daranlassen sich die Vorteile der vorgeschlagenen Methodeaufzeigen: Die Spezifikationen sind kompakt, gut lesbar undbesitzen eine deklarative und eine prozedurale Semantik.Die erstellten Spezifikationen lassen sich auf einemProlog-System ausf}hren. Die Ausf}hrbarkeit derSpezifikationen erweist sich als vielseitig anwendbareEigenschaft, welche beispielsweise die Simulation einesDirectory-Systems bei gegebener Konfiguration erm|glichtoder die ]berpr}fung (Verifikation, Validierung) einerSpezifikation erleichtert. 156 pp. Deutsch. Bestandsnummer des Verkäufers 9783540545460
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 54,99
Währung umrechnen
Beispielbild für diese ISBN
Ausf?hrbare Spezifikation von Directory-Systemen in einer logischen Sprache
Print-on-Demand
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Print on Demand pp. 156 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 108619427
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 73,90
Währung umrechnen
Beispielbild für diese ISBN
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache (Informatik-Fachberichte) (German Edition)
Anbieter:
Bewertung
Buchbeschreibung Paperback. Zustand: Brand New. 153 pages. German language. 9.61x6.69x0.36 inches. In Stock. Bestandsnummer des Verkäufers x-3540545468
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 74,22
Währung umrechnen
Foto des Verkäufers
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Verlag:
Springer Berlin Heidelberg
(1991)
ISBN 10: 3540545468
ISBN 13: 9783540545460
Neu
Taschenbuch
Anzahl: 1
Anbieter:
Bewertung
Buchbeschreibung Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das Buch behandelt die Spezifikation von Directory-Systemenunter Anwendung von Konzepten der logischen Programmierung.Ausgehend von der Definition derArchitektur einesDirectory-Systems wird eine Spezifikationsmethode zurBeschreibung solcher Architekturen vorgestellt. AlsSpezifikationssprache dient die Sprache derHornklausel-Logik, erweitert um Negation. Im Buch werdeneine von D.B. Terry bei Xerox PARC entworfene Architekturund ein Ausschnitt aus der Architektur des internationalenStandards f}r Directory-Systeme (X.500) spezifiziert. Daranlassen sich die Vorteile der vorgeschlagenen Methodeaufzeigen: Die Spezifikationen sind kompakt, gut lesbar undbesitzen eine deklarative und eine prozedurale Semantik.Die erstellten Spezifikationen lassen sich auf einemProlog-System ausf}hren. Die Ausf}hrbarkeit derSpezifikationen erweist sich als vielseitig anwendbareEigenschaft, welche beispielsweise die Simulation einesDirectory-Systems bei gegebener Konfiguration erm|glichtoder die ]berpr}fung (Verifikation, Validierung) einerSpezifikation erleichtert. Bestandsnummer des Verkäufers 9783540545460
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 54,99
Währung umrechnen
Foto des Verkäufers
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Verlag:
Springer Berlin Heidelberg
(1991)
ISBN 10: 3540545468
ISBN 13: 9783540545460
Neu
Softcover
Anzahl: > 20
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Das Buch behandelt die Spezifikation von Directory-Systemenunter Anwendung von Konzepten der logischen Programmierung.Ausgehend von der Definition derArchitektur einesDirectory-Systems wird eine Spezifikationsmethode zurBeschreibung solcher Architek. Bestandsnummer des Verkäufers 4893245
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 54,99
Währung umrechnen