Gå direkt till innehållet
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Spara

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.
Författare
Rolf Stadler
ISBN
9783540545460
Språk
Tyska
Vikt
310 gram
Utgivningsdatum
1991-09-16
Sidor
143