Home Advanced Search

Advanced Search - Page 1

Modeling Reactive Systems With Statecharts : The Statemate Approach
  • PDF
  • English
  • Year: 1998
  • Author: David Harel, Michal Politi
Modeling reactive systems with statecharts: the STALEMATE approach
  • PDF
  • English
  • Year: 1998
  • Author: Harel D., Politi M.
電腦也搞不定 (-a Taiwanese translation of David Harel's Computers Ltd.-)
  • PDF
  • Chinese
  • Year: 2002
  • Author: David Harel
Rzecz o istocie informatyki: algorytmika
  • PDF
  • Polish
  • Year: 2000
  • Author: David Harel
Computers Ltd: What They Really Can't Do
  • PDF
  • English
  • Year: 2000
  • Author: David Harel
Computers Ltd: What They Really Can't Do
  • DJVU
  • English
  • Year: 2000
  • Author: David Harel
Algorithmics: The Spirit of Computing
  • DJVU
  • English
  • Year: 1987
  • Author: David Harel
Statecharts. A Visual Formalism for Complex Systems
  • PDF
  • English
  • Year: 1986
  • Author: David Harel
First-Order Dynamic Logic
  • PDF
  • English
  • Year: 1979
  • Author: David Harel (eds.)
First-Order Dynamic Logic
  • DJVU
  • English
  • Year: 1979
  • Author: David Harel (eds.)
search