Using formal description techniques : an introduction to Estelle, LOTOS and SDL


edited by Kenneth J. Turner
Bok Engelsk 1993

Detaljer

Bibliotek som har denne