Formal Methods and Software Engineering (vol. # 3785)
Formal Methods and Software Engineering (vol. # 3785)
Kung-Kiu Lau
Details
OL Work ID
OL16932094W
Subjects
Logic design
Computer science
Software engineering
Formal methods (Computer science)
Congresses
Find this book
Open Library