![book Design patterns: elements of reusable object-oriented software](/covers/files_170/2588000/2121300da35565356b45a1b90df80e9d-g.jpg)
- Author: Gamma Erich, Helm Richard, Johnson Ralph E., Vlissides John
- Language: English
- Year: 2016
![book Handbook of model checking](/covers/files_170/2358000/59951b94f0b170dc58e153a5f6b70819-g.jpg)
- Author: Bloem Roderick, Clarke Edmund M., Henzinger Thomas A., Veith Helmut et al. (eds.)
- Language: English
- Year: 2018
![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