Formal Aspects of Component Software
Formal Aspects of Component Software by Farhad Arbab.
Published by Springer, (2012), Paperback, 369 pages.
Topics: Mathematical Logic and Formal Languages, Programming Techniques, Information Systems, Software engineering.