![book Healing Your Grief About Aging : 100 Practical Ideas on Growing Older with Confidence, Meaning and Grace](/covers/files_170/3865000/cf818a549afacf798ea7c347f0693cae-d.jpg)
- Author: Alan D Wolfelt, Alan D Wolfelt, Kirby J. Duvall
- Language: English
- Year: 2012
![book Embedded software verification and debugging](/covers/files_170/2714000/4960755991a59a8e2d308b471eedbd68-g.jpg)
- Author: Lettnin Djones, Winterholer Markus
- Language: English
- Year: 2017
![book Lessons learned in software testing](/covers/files_170/2632000/f618ec4950a95b05d9694bc28b0e4ec0-g.jpg)
- Author: Kaner Cem, Bach James
- Language: English
- Year: 2001
![book Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings](/covers/files_170/2135000/3c8d8d6930d6f47f63236c6f8651aac3-g.jpg)
- Author: Lahiri Shuvendu, Reger Giles
- Language: English
- Year: 2017
![book Formal system verification : state-of the-art and future trends](/covers/files_170/2134000/17b532adc8cdd32f03da164408fd38dd-d.jpg)
- Author: Drechsler Rolf
- Language: English
- Year: 2018
![book Verification of systems and circuits using LOTOS, Petri Nets, and CCS](/covers/files_170/1593000/e6b870873e0fccdf90c9a4df1a0c60e3-d.jpg)
- Author: Yoeli Michael, Kol Rakefet
- Language: English
- Year: 2008
![book The Software Audit Guide](/covers/files_170/1444000/96d0b3321c6aed01b88285d25e66a94a-d.jpg)
- Author: John W. Helgeson
- Language: English
- Year: 2009