Search ResultsOther Libraries
7 Results Found Subscribe to search results
0000000OPAC
Print
5. 
Cover image for Abstract State Machines [electronic resource] : A Method for High-Level System Design and Analysis