Overview
The book, The Foundations of Program Verification (Series in Computer Science) [Bulk, Wholesale, Quantity] ISBN#9783322967541 in Paperback by Kurt Sieber may be ordered in bulk quantities. Minimum starts at 25 copies. Availability based on publisher status and quantity being ordered.Details