Thomas S. E. Maibaum

The Specification of Computer Programs (International Computer Science Series)

1987 · ENGLISH · DJVU

View details →