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
First-Order Dynamic Logic
  • DJVU
  • English
  • Year: 1979
  • Author: David Harel (eds.)
First-Order Dynamic Logic
  • PDF
  • English
  • Year: 1979
  • Author: David Harel (eds.)
Algorithmics: The Spirit of Computing
  • PDF
  • English
  • Year: 2004
  • Author: David Harel, Yishai A. Feldman
Algorithmics : the spirit of computing
  • PDF
  • English
  • Year: 2004
  • Author: Harel, David; Feldman, Yishai A
Algoritmi: Lo spirito dell’informatica
  • PDF
  • Italian
  • Year: 2008
  • Author: David Harel, Yishai Feldman
Dynamic Logic
  • PDF
  • English
  • Year: 2000
  • Author: David Harel, Dexter Kozen, Jerzy Tiuryn
Dynamic logic
  • PDF
  • English
  • Year: 2000
  • Author: David Harel, Dexter Kozen, Jerzy Tiuryn
search