Ausführbare Spezifikation Von Directory-Systemen in Einer Logischen Sprache

Name: Ausführbare Spezifikation Von Directory-Systemen in Einer Logischen Sprache
Brand: Springer
SKU: 9783540545460
Price: 3508.00 INR
Availability: InStock

by Rolf Stadler

Springer

₹3,508

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.