Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache pp 91-97 | Cite as

Die Spezifikationsmethode

• Authors
• Authors and affiliations

• Rolf Stadler

Chapter

• 10 Downloads

Part of the Informatik-Fachberichte book series (INFORMATIK, volume 284)

Zusammenfassung

In diesem Kapitel wird eine Spezifikationsmethode zur Darstellung der Architektur eines Directory-Systems vorgestellt.

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

• Rolf Stadler
  • 1

1. 1.Institut für InformatikUniversität Zürich-IrchelZürichSchweiz