Menu

David Harel

6 published titles

Algorithmics : the spirit of computing

3 editions

  • ISBN: 0201192403
  • Addison-Wesley
  • 1987
  • Details
  • ISBN: 0201504014
  • Addison-Wesley
  • 1992
  • Details
  • ISBN: 0321117840
  • Addison-Wesley
  • 2004
  • Details

The science of computing : exploring the nature and power of algorithms

1 edition

  • ISBN: 020151723X
  • Addison-Wesley Pub. Co
  • 1989
  • Details

Modeling reactive systems with statecharts : the statemate approach

1 edition

  • ISBN: 0070262055
  • McGraw-Hill
  • 1998
  • Details

Dynamic logic

2 editions

  • ISBN: 0262082896
  • MIT Press
  • 2000
  • Details
  • ISBN: 9780262527668
  • The MIT Press
  • 2015
  • Details

Computers Ltd. : what they really can't do

1 edition

  • ISBN: 0198505558
  • Oxford University Press
  • 2000
  • Details

Come, let's play : scenario-based programming using LSCs and the play-engine

1 edition

  • ISBN: 3540007873
  • Springer
  • 2003
  • Details

obnb.uk is a Good Stuff website.