Author

Harel, David

Catalogue records by Harel, David in the PakCat Union Catalogue.

6 catalogue records

Catalogue records

Algorithmics Harel, David 1992 Algorithmics Harel, David Year not listed Dynamic logic Harel, David 2000 The science of computing Harel, David 1987 The science of computing "Harel, David" 1987 The science of computing Harel, david 1987