The B Language and Method: A Guide to Practical Formal Development / Edition 1

The B Language and Method: A Guide to Practical Formal Development / Edition 1

by Kevin Lano
ISBN-10:
3540760334
ISBN-13:
9783540760337
Pub. Date:
01/01/1996
Publisher:
Springer London

Paperback - Rent for

Select a Purchase Option (Softcover reprint of the original 1st ed. 1996)
  • purchase options
    $99.00
  • purchase options

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews