Search Results - UM - Under £5 -
£1.15

Categories, Relations and Dynamic Programming

Paperback / softback 1 Apr 1992
ISBN: 9780902928763
Dewey: 005.1
Out of Print

Dragon Extravaganza : Fifty Programmes for the Dragon 32 Microcomputer

Paperback / softback 1 Apr 1983
ISBN: 9780946008049
Out of Print

A Categorical Manifesto

Paperback / softback 1 Mar 1989
ISBN: 9780902928541
Dewey: 005.1
Out of Print

An Algorithm for Type-checking Z : A Z Specification

Paperback / softback 1 Mar 1990
ISBN: 9780902928602
Dewey: 005.1
Out of Print

A Monte Carlo Method for Implementing Model-based Diagnostic Programs

Paperback / softback 1 May 1990
ISBN: 9780902928626
Dewey: 005.14
Out of Print

A Relational Approach to Optimization Problems

Paperback / softback 1 Apr 1996
ISBN: 9780902928961
Dewey: 005.1
Out of Print

Joint Workshop on Formal Specifications of Computer-based Systems : IEE TC-ECBS and IFIP WG10.1

Paperback / softback 1 Apr 2001
ISBN: 9781857691443
Dewey: 005.12
Out of Print

A Refinement Calculus for Z

Paperback / softback 1 Aug 1997
ISBN: 9780902928978
Dewey: 005.1
Out of Print

Investigations into the Complexity of Some Propositional Calculi

Paperback / softback 1 Nov 1990
ISBN: 9780902928671
Dewey: 005.1
Out of Print

A Timed Failures-stability Model for CSP

Paperback / softback 1 Feb 1996
ISBN: 9780902928930
Dewey: 005.1
Out of Print

Analysis of Business Processes Specified in Z Against an E-R Data Model

Paperback / softback 1 Dec 1992
ISBN: 9780902928800
Dewey: 005.1
Out of Print

Heuristics for the Two-Stage Job Shop with a Bottleneck Machine

Paperback / softback 1 Aug 1997
ISBN: 9781861660633
Dewey: 005.1
Out of Print
Out of Print

From Z to C : Illustration of a Rigorous Development Method

Paperback / softback 1 Feb 1990
ISBN: 9780902928787
Dewey: 005.1
Out of Print

Relations, Graphs and Programs

Paperback / softback 1 Apr 1999
ISBN: 9780902928992
Dewey: 005.1
Out of Print

An Electronic Purse : Specification, Refinement and Proof

Paperback / softback 1 Jul 2000
ISBN: 9780902928411
Dewey: 005.1
Out of Print

Sliding Window Protocol in Communicating Sequential Processes

Paperback / softback 1 Apr 1988
ISBN: 9780902928480
Dewey: 005
Out of Print

Laws of the Logical Calculi

Paperback / softback 1 Sep 1989
ISBN: 9780902928589
Dewey: 005.115
Out of Print

Combinator Graph Reduction : A Congruence and Its Applications

Paperback / softback 1 Apr 1989
ISBN: 9780902928558
Dewey: 005.1
Out of Print

Equational Reasoning Support for Orwell

Paperback / softback 1 Nov 1992
ISBN: 9780902928817
Dewey: 005.1
Out of Print

Z and the Refinement Calculus

Paperback / softback 1 Feb 1990
ISBN: 9780902928596
Dewey: 005.1
Out of Print

Collision Detection by Four-dimensional Intersection Testing

Paperback / softback 1 Jul 1990
ISBN: 9780902928657
Dewey: 005.1
Out of Print

Higher-level Algorithmic Structures in the Refinement Calculus

Paperback / softback 1 Jan 1999
ISBN: 9780902928985
Dewey: 005.1
Out of Print

Category-based Semantics for Equational and Constraint Logic Programming

Paperback / softback 1 Jul 1994
ISBN: 9780902928916
Dewey: 005.115
Out of Print

A Brief History of Timed CSP

Paperback / softback 1 Oct 1991
ISBN: 9780902928749
Dewey: 005.1
Out of Print

Polynomial Algorithm for the Three-Machine Open Shop with a Bottleneck Machine

Paperback / softback 1 Aug 1997
ISBN: 9781861660657
Dewey: 005.1
Out of Print

Qualified Types : Theory and Practice

Paperback / softback 1 Jul 1992
ISBN: 9780902928831
Dewey: 005.131
Out of Print

Programming Principles : An Introduction : Student's Manual

Paperback / softback 1 Nov 1983
ISBN: 9780205080069
Dewey: 005.1
Out of Print

Heuristic Algorithm for the Two-Machine Re-entrant Shop Scheduling

Paperback / softback 1 Oct 1996
ISBN: 9781861660237
Dewey: 005.1
Out of Print
1
2
>
>>