Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets
Heinz Wilhelm Schmidt
Bok Tysk 1989
Utgitt | München : Oldenbourg , 1989
|
---|---|
Omfang | ix, 206 s. : ill.
|
Opplysninger | Avh. (doktorgrad) - Universität Bremen, 1988.
|
ISBN | 3486212923
|