Decision problems in systolic circuit verification

Författare
Parosh Aziz Abdulla
(Parosh Aziz Abdulla.)
Genre
theses
Språk
Engelska
Förlag År Ort Om boken ISBN
Graphic Systems 1990 Sverige, Uppsala, Malmö 191 sidor. 23 cm