Formal Methods - Pacific: Proceedings of the Fmp-97, Wellington, New Zealand, 9-11 July 1997, Incorporating of the 6th Australian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium - L. Groves - Paperback

New (perfect condition)

Pages are clean and are not marked by notes, highlighting or fold.

Like new (excellent condition)

Pages are clean and are not marked by notes, highlighting or folds.

Very good (good condition)

Pages are intact and may have minimal notes and/or highlighting or folds.

Good (clean condition)

All pages and the cover is intact. The spine may show signs of wear. Pages include notes and/or highlighting.

Acceptable (readable condition)

All pages and the cover is intact. Pages include considerable notes in pen or highlighter, but the text is not obscured.