Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990 (Workshops in

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990 (Workshops in

  • List Price: $109.99
  • ISBN-10: 3540196722
  • ISBN-13: 9783540196723
  • Edition: 1st
  • Type: Paperback
  • Publisher: Springer

About The Book

The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom­ position methods for sequential programs - such as are used in VDM... Read more

FINDING THE BEST PRICES

Related Books

The Cailiffs of Baghdad, Georgia: A Novel
  • Year: 2011
  • Edition: Reprint
  • Publisher: W. W. Norton & Company
  • Type: Paperback
  • ISBN13: 9780393341133
  • ISBN: 0393341135
Flash Fiction: 72 Very Short Stories
  • Year: 1992
  • Edition: 1st
  • Publisher: W. W. Norton & Company
  • Type: Paperback
  • ISBN13: 9780393308839
  • ISBN: 0393308839
A Blind Man Can See How Much I Love You : Stories
  • Year: 2001
  • Edition: 0
  • Publisher: Vintage
  • Type: Paperback
  • ISBN13: 9780375705571
  • ISBN: 0375705570