Gå direkte til innholdet
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Spar

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

Die Ausf}hrbarkeit derSpezifikationen erweist sich als vielseitig anwendbareEigenschaft, welche beispielsweise die Simulation einesDirectory-Systems bei gegebener Konfiguration erm|glichtoder die ]berpr}fung (Verifikation, Validierung) einerSpezifikation erleichtert.
Forfatter
Rolf Stadler
ISBN
9783540545460
Språk
Tysk
Vekt
310 gram
Utgivelsesdato
16.9.1991
Antall sider
143