Prentice Hall International Series in Computer Science

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Prentice Hall International Series in Computer Science is a series of books on computer science published by Prentice Hall. The series' founding editor was Tony Hoare. Richard Bird subsequently took over editing the series. Many of the books in the series have been in the area of formal methods in particular.

Selected books[edit]

References[edit]