Recommended Books

Here is a list of some interesting books related to the areas of Web Services, Formal Methods and Software Design, that can be helpful to know about the respective areas of research for students and researchers.
Note: Reference to some of the books have been taken fromSeyed-Mehdi-Reza Beheshti's,Webpage, just for information sharing with interested users.

Web Services: concepts, architectures and applications		Design Rules: The power of modularity		Service-oriented Architecture		Software Architecture in Practice
Semantic Web Services, Processes and Applications		Data Mining		ENTERPRISE INTEGRATION PATTERNS		Applied Software Product-Line Engineering
Expert C# 2005 Business Objects		Business Process Execution Language for Web Service		The SPIN MODEL CHECKER Primer and Reference Manual		Software Abstractions Logic, Language, and Analysis
Understanding Z A Specification Language and its Formal Semantics		Web Data Mining Exploring Hyperlinks, Contents and Usage Data		Conceptual Mathematics A First Introduction to Categories		Software Product Line Engineering: Foundations, Principles, and Techniques