Refinement in Z and Object-Z Foundations and Advanced Applications

Derrick, John. (author.). Boiten, Eerke A. (author.). SpringerLink (Online service) (Added Author).

E-book

Add to basket Remove from basket

View My Basket

Print / Email

Permalink

Disable Highlighting

Electronic resources

Record details

• ISBN: 9781447153559
• Physical Description: electronic
  electronic resource
  access
  remote
  XVIII, 492 p. 49 illus. online resource.
• Edition: 2nd ed. 2014.
• Publisher: London : Springer London : 2014.

Search for related items by subject