741- 745 of 745 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Introduction to occam 2 on the Transputer, Author: Graham R. Brookes
QUICK ADD
Introduction to occam 2 on the…
by Graham R. Brookes, Andrew J. Stewart
Explore Series
Paperback $19.99
Title: DIANA. An Intermediate Language for Ada: Revised Version, Author: G. Goos
QUICK ADD
DIANA. An Intermediate…
by G. Goos (Editor), W. A. Wulf (Editor), A. Jr. Evans (Editor), K. J. Butler (Editor)
#161 in Series
Paperback $24.99
Title: Axiomatising the Logic of Computer Programming, Author: R. Goldblatt
QUICK ADD
Axiomatising the Logic of…
by R. Goldblatt
#130 in Series
Paperback $24.99
Title: First-Order Dynamic Logic, Author: D. Harel
QUICK ADD
First-Order Dynamic Logic
by D. Harel
#68 in Series
Paperback $17.99
Title: Theory of Program Structures: Schemes, Semantics, Verification, Author: Sheila A. Greibach
QUICK ADD
Theory of Program Structures:…
by Sheila A. Greibach
#36 in Series
Paperback $24.99

Pagination Links