Formal Aspects of Component Software
by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
Computer scienceSoftware engineeringFormal methods (Computer science)CongressesComponent softwareLogic designInformation SystemsMathematical Logic and Formal Languages
Writing a summary for young readers…
For young readers
Book data: Open Library