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