Book Your Summer Shop NowBook Your Summer Shop Now
Add Item to wish listAdd Item to wish list

Ausf�hrbare Spezifikation von Directory-Systemen in einer logischen Sprache

By Rolf Stadler
Paperback
$59.99
By Rolf Stadler
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
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 S...

Categories

ComputersNetworking & TelecommunicationsGeneral & Miscellaneous Networking & Telecommunications