Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
9 Angebote vergleichen
Preise | 2018 | 2019 | 2020 |
---|---|---|---|
Schnitt | Fr. 40.64 (€ 41.52)¹ | Fr. 42.07 (€ 42.99)¹ | Fr. 42.07 (€ 42.99)¹ |
Nachfrage |
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
ISBN: 9783540545460 bzw. 3540545468, in Deutsch, Springer, Berlin Springer, Taschenbuch, neu.
buecher.de GmbH & Co. KG, [1].
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 fr 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 ausfhren. Die Ausfhrbarkeit der Spezifikationen erweist sich als vielseitig anwendbare Eigenschaft, welche beispielsweise die Simulation eines Directory-Systems bei gegebener Konfiguration ermglicht oder die ]berprfung (Verifikation, Validierung) einer Spezifikation erleichtert.1991. x, 143 S. 15 SW-Abb.,. 244 mmVersandfertig in 3-5 Tagen, Softcover.
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache Informatik-Fachberichte German Edition
ISBN: 9783540545460 bzw. 3540545468, in Deutsch, Springer, Taschenbuch, neu.
Perfect Paperback. 143 pages. Dimensions: 9.6in. x 6.7in. x 0.4in.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 fr 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 ausfhren. Die Ausfhrbarkeit der Spezifikationen erweist sich als vielseitig anwendbare Eigenschaft, welche beispielsweise die Simulation eines Directory-Systems bei gegebener Konfiguration ermglicht oder die berprfung (Verifikation, Validierung) einer Spezifikation erleichtert. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
ISBN: 9783540545460 bzw. 3540545468, vermutlich in Deutsch, Springer Shop, Taschenbuch, neu.
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. Soft cover.
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
ISBN: 9783662059302 bzw. 3662059304, vermutlich in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
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. eBook.
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache (Informatik-Fachberichte) (1991)
ISBN: 9783540545460 bzw. 3540545468, in Deutsch, 156 Seiten, 1991. Ausgabe, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache (Informatik-Fachberichte) (1991)
ISBN: 9783540545460 bzw. 3540545468, in Deutsch, 156 Seiten, 1991. Ausgabe, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, M.Noack.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache (1991)
ISBN: 9783540545460 bzw. 3540545468, in Deutsch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Taschenbuch, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 1991, Studio: Springer.
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache (Informatik-Fachberichte) (German Edition) (1991)
ISBN: 9783540545460 bzw. 3540545468, vermutlich in Deutsch, Springer, Taschenbuch, gebraucht, guter Zustand.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1991-09-16. 1. Perfect Paperback. Good.
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
ISBN: 9783662059302 bzw. 3662059304, in Deutsch, Springer Nature, neu, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen