• Books
• Dafny Computer program language

eBook See More Details

Seller Description: New. Contains: Illustrations, black & white. XX, 131 p. 104 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details

Seller Description: New. Print on demand Contains: Illustrations, black & white. XX, 131 p. 104 illus. Intended for professional and scholarly audience. See More Details

Seller Description: New. Contains: Illustrations, black & white. XX, 131 p. 104 illus. Intended for professional and scholarly audience. See More Details

Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details

Seller Description: New. See More Details