| Books 1 - 10 of 14 | Previous | Next |
|
 | | Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
by Gordon Plotkin (Editor), Colin Stirling (Editor), Mads Tofte (Editor)
Hardcover, 736 Pages, Published 2000 by The MIT Press
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Modal and Temporal Properties of Processes (Texts in Computer Science) (1st Edition)
by Colin Stirling
Hardcover, 190 Pages, Published 2001 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Stirling Moss
by Colin Shelbourn, Stirling Moss, David Ward (Photographer)
Hardcover, 160 Pages, Published 1999 by Little, Brown
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | A compositional reformulation of Owicki-Gries's partial correctness for a parallel while language (Internal report. University of Edinburgh. Dept. of Computer Science)
by Colin Stirling
Unknown Binding, 24 Pages, Published 1985 by University of Edinburgh, Dept. of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Modal and temporal logics for processes (LFCS report series)
by Colin Stirling
Unknown Binding, 64 Pages, Published 1992 by LFCS, Dept. of Computer Science, University of Edinburgh
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Modal and temporal logics (LFCS report series)
by Colin Stirling
Unknown Binding, 85 Pages, Published 1991 by LFCS, Dept. of Computer Science, University of Edinburgh
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Modal and Temporal Properties of Processes
by Colin Stirling
Paperback, Published 2001 by Springer Verlag 01/1//2001
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Local model checking in the modal mu-calculus (LFCS report series. University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science)
by Colin Stirling
Unknown Binding, Published 1989 by University of Edinburgh, Dept. of Computer Science, Laboratory for Foundations of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Proof, Language, and Interaction
by G. (Edt)/ Stirling, Colin P. (E Plotkin
Paperback, Published 2000 by Mit Pr 01/1//2000
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | STIRLING MOSS GREAT DRIVES IN THE LAKES AND DALES
by COLIN MOSS, STIRLING SHELBOURN
Paperback, Published 1999 by Little, Brown
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 10 of 14 | Previous | Next |