.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Ausfeuhrbare Spezifikation Von Directory-Systemen in Einer Logischen Sprache
Rolf Stadler
€ 71.35
FREE Delivery in Ireland
Description for Ausfeuhrbare Spezifikation Von Directory-Systemen in Einer Logischen Sprache
Paperback. Originally presented as the author's thesis (doctoral)--Universit'at Z'urich, Wintersemester 1990/91. Num Pages: black & white illustrations, bibliography. BIC Classification: UKN; UMN. Category: (G) General (US: Trade). Dimension: 244 x 170 x 8. Weight in Grams: 259.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1991
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Language
German
Condition
New
Number of Pages
143
Place of Publication
Berlin, Germany
ISBN
9783540545460
SKU
V9783540545460
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Ausfeuhrbare Spezifikation Von Directory-Systemen in Einer Logischen Sprache