Siirry suoraan sisältöön
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Tallenna

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.
Kirjailija
Rolf Stadler
ISBN
9783540545460
Kieli
saksa
Paino
310 grammaa
Julkaisupäivä
16.9.1991
Sivumäärä
143