Your search returned 5 results. Subscribe to this search

|
Algorithmics : the spirit of computing / David Harel Monografia Publication Readings, Mas. : Addison-Wesley, imp. 1993 Description XV, 476 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (3).

Algorithmics : the spirit of computing / David Harel Monografia Publication Harlow : Addison-Wesley, imp. 1996 Description XV, 476 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Algorithmics : the spirit of computing / David Harel, Yishai Feldman Monografia Publication Harlow : Addison-Wesley, cop. 2004 Description XVIII, 513 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Modeling reactive systems with statecharts : the statemate approach / David Harel and Michal Politi Monografia Publication New York : McGraw-Hill, 1998 Description XIV, 258 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn Monografia Publication Cambridge, Mass. : The MIT Press, cop. 2000 Description XV, 459 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).