Formal specification and software development
Formal specification and software development
D. Bjørner
Details
OL Work ID
OL5900860W
Subjects
Computer software
Development
Programming languages (Electronic computers)
Find this book
Open Library