FM 2006
FM 2006
Jayadev Misra
,
Emil Sekerinski
,
Tobias Nipkow
Details
OL Work ID
OL16932345W
Subjects
Development
Congresses
System design
Mathematics
Formal methods (Computer science)
Computer software
Application software, development
Find this book
Open Library