Menu

Nissim Francez

3 published titles

Program verification

1 edition

  • ISBN: 0201416085
  • Addison-Wesley Pub. Co
  • 1992
  • Details

Interacting processes : a multiparty approach to coordinated distributed programming

1 edition

  • ISBN: 0201565285
  • ACM Press
  • 1996
  • Details

Unification grammars

1 edition

  • ISBN: 9781107014176
  • Cambridge University Press
  • 2012
  • Details

obnb.uk is a Good Stuff website.