Limit this search to....

  (4 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Behavioural Types: from Theory to ToolsGay, SimonHardcover8793519826 /
9788793519824		06/2017$90.25
Semantic Techniques in Quantum ComputationGay, SimonHardcover052151374X /
9780521513746		11/2009$99.75
Semantic Techniques in Quantum ComputationGay, SimonOpen Ebook1139193317 /
9781139193313		07/2014$140.25
Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorn Softcover Repri Edition (Workshops in Computing)Burn, GeoffreyPaperback3540198423 /
9783540198420		09/1993$52.24
  (4 items found)