![book Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications](/covers/files_170/2134000/59306a494dbf6dcb0a27af4ff58f59c4-g.jpg)
- Author: O'Regan Gerard
- Language: English
- Year: 2017
![book Handbook of Large-Scale Distributed Computing in Smart Healthcare](/covers/files_170/2134000/1d159ebdd6931064b56afb3bcf784644-g.jpg)
- Author: Abbas Assad, Khan Samee U., Zomaya Albert Y
- Language: English
- Year: 2017
![book Stable analysis patterns for software and systems](/covers/files_170/1703000/cbed7b41970fd5cfb9fa447f801c04e5-d.jpg)
- Author: Fayad Mohamed
- Language: English
- Year: 2017
![book Domain Oriented Systems Development : Perspectives and](/covers/files_170/1377000/fa244f6d2f7505f2e4be76614341061c-d.jpg)
- Author: Hirota Toyohiko, Kumagai Satoshi, Itoh Kiyoshi
- Language: English
- Year: 2002