FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION (PRENTICE-HALL SOFTWARE SERIES). Franta.

FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION (PRENTICE-HALL SOFTWARE SERIES)

US: Prentice Hall, 1982. Hardcover. Very Good / No DJ. Item #26434
ISBN: 9780133288070

Pages are clean with no markings from previous owners. Binding is square and tight. Boards are overall clean, lightly scuffed and rubbed, worn along edges, spine ends and corners. Text block is soiled and foxed. No dust jacket. PICTURES PROVIDED UPON REQUEST.

Price: $15.00

See all items in Technology
See all items by