Author: LANO, KEVIN; HAUGHTON, HOWARD
Title: Specification in B: An Introduction Using the B Toolkit
Description: London, Imperial College Press. 1996. (ISBN: 9781860940088). Hardcover. Used, Hardcover. A few superficial scores and marks on jacket. Lightest of wear on leading corners and spine ends of jacket and hardcover. Pages are clean, binding is sound, and text remains clear throughout. TS. Very Good/Very Good.

Keywords: 9781860940088


See more books from our catalog: Computers & Technology (Incl. Ai)