Compositional verification of distributed systems

Författare
Bengt Jonsson
(Bengt Jonsson.)
Genre
theses
Språk
Engelska
Förlag År Ort Om boken ISBN
Direkt offset, Nyström & Co. 1987 Sverige, Uppsala, Uppsala 142 sidor. 23 cm