Overview
The book, A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science #191) [Bulk, Wholesale, Quantity] ISBN#9783540152392 in Paperback by Howard Barringer may be ordered in bulk quantities. Minimum starts at 25 copies. Availability based on publisher status and quantity being ordered.Details