First-order dynamic logic

Harel, David
Inngår i serie: Lecture notes in computer science (68)
Bok · Engelsk · 1979
Vis mer

Algorithmics : the spirit of computing

Harel, David
Bok · Engelsk · 1992
Vis mer

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

Harel, David
Bok · Engelsk · c1989
Vis mer