Integrated Formal Methods
Integrated Formal Methods
Jim Davies
,
Jeremy Gibbons
Details
OL Work ID
OL27334973W
Subjects
System design
Find this book
Goodreads
Open Library