Abstract State Machines
Abstract State Machines
Robert Stärk
,
Egon Börger
Details
OL Work ID
OL27356749W
Subjects
System design
Computer software, development
Embedded computer systems
Find this book
Hardcover
Open Library