The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT)) de Lano, Kevin

Paperback. Very Good.

Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996. Paperback. Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.

Berlin, Heidelberg, New York: Springer-Verlag London Limited, 2008. Paperback. Good condition. Ex-Library. Library labels on front cover and inside front cover. Library stamps on half-title page. A few bumps, marks and light creases on covers. Slight wear on spine ends and leading corners. Binding is sound, and the contents are clear. AF. paperback. Good/No Dust Jacket. Ex-Library.

London: Springer Verlag London, 1996. Paperback. Good condition. Ex-academic library. Library labels on spine foot, inside front cover, half-title page, reverse of title page and last page of text. Library label residue on half-title page. Library stamps on half-title page, title page, inside rear cover, page block and at one or two further points. Minor pen markings on half-title page and reverse of title page. A few bumps and scores on covers. Binding is sound, and the contents are clear. AF. Paperback. Good/No Dust Jacket. Ex-Library.

Springer Verlag, 1996. Paperback. New. 240 pages. 9.25x6.10x0.55 inches.

Paperback / softback. New. B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation.

paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.