Overview
The book, Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) [Bulk, Wholesale, Quantity] ISBN#9783540574798 in Paperback by Krzysztof R. Apt, Ernst-Rüdiger Olderog may be ordered in bulk quantities. Minimum starts at 25 copies. Availability based on publisher status and quantity being ordered.Details