
Formal Methods and Software Engineering (vol. # 3785)
by Kung-Kiu Lau
Logic designComputer scienceSoftware engineeringFormal methods (Computer science)Congresses
Writing a summary for young readers…
For young readers
Book data: Open Library

by Kung-Kiu Lau
Book data: Open Library