Formal Aspects of Component Software
by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
Subjects
Computer science
Software engineering
Formal methods (Computer science)
Congresses
Component software
Logic design
Information Systems
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Management of Computing and Information Systems
Related Books
