E- text books

Description

Title of E-book: A Survey of Verification Techniques for Parallel Programs
Author: Barringer 
Publisher: Springer
Access online  

Publication date: 1985