Publishers Search
Recently Added
Oxford University Computing Laboratory, Programming Research Group
Oxford
Books of this Publisher
<<
>>
1
2
3
An Algebraic approach to compiler design
by
Augusto Sampaio
Publisher: Oxford, England :
Oxford University Computing Laboratory, Programming Research Group
, 1993.
ISBN: 0902928872
Algebras for tree algorithms
Jeremy Gibbons
Publisher: Oxford, England :
Oxford University Computing Laboratory, Programming Research Group
, 1991.
ISBN: 0902928724
An algorithm for type-checking Z
An algorithm for type-checking Z: a z specification
by J. N. Reed, J. E. Sinclair
Publisher: Oxford, [England] :
Oxford University Computing Laboratory, Programming Research Group
, 1990.
ISBN: 0902928600
Analysis of business processes specified in Z against an E-R data model
Jun Ginbayashi
Publisher: Oxford, England :
Oxford University Computing Laboratory, Programming Research Group
, 1992.
ISBN: 0902928813
A brief history of timed CSP
by
Jim Davies
and Steve Schneider
Publisher: Oxford, England :
Oxford University Computing Laboratory, Programming Research Group
, 1992.
ISBN: 0902928740
A categorical manifesto
by
Joseph A. Goguen
Publisher: Oxford, [England] :
Oxford University Computing Laboratory, Programming Research Group
, 1989.
ISBN: 0902928546
Categories, relations and dynamic programming
by
Oege de Moor
Publisher: Oxford, England :
Oxford University Computing Laboratory, Programming Research Group
, 1992.
ISBN: 0902928767
Category-based semantics for equational and constraint logic programming
by
RÚˇazvan Diaconescu
Publisher: Oxford, England :
Oxford University Computing Laboratory, Programming Research Group
, c1994.
ISBN: 0902928910
Collecting butterflies
by
Geraint Jones
,
Mary Sheeran
Publisher: Oxford, [England] :
Oxford University Computing Laboratory, Programming Research Group
, 1991.
ISBN: 0902928694
Collision detection by four-dimensional intersection testing
by
Stephen Cameron
Publisher: Oxford, [England] :
Oxford University Computing Laboratory, Programming Research Group
, 1990.
ISBN: 0902928651
Continuations
Continuations: a mathematical semantics for handling full jumps
by
Christopher Strachey
and
Christopher P. Wadsworth
Publisher: Oxford :
Oxford University Computing Laboratory, Programming Research Group
, 1974.
ISBN: 0902928090 DDC: 1.6424 LCC: QA76.7
Correctness and communication in real-time systems
by Steve Schneider
Publisher: Oxford, [England] :
Oxford University Computing Laboratory, Programming Research Group
, 1990.
ISBN: 0902928635
Data refinement in a categorical setting
by
He Jifeng
, C. A. R. Hoare
Publisher: Oxford, [England] :
Oxford University Computing Laboratory, Programming Research Group
, 1990.
ISBN: 0902928686
Denotational semantics for occam 2
by M. H. Goldsmith, A. W. Roscoe, B. G. O Scott
Publisher: Oxford, England :
Oxford University Computing Laboratory, Programming Research Group
, 1993.
ISBN: 0902928856
Design, implementation and evaluation of a declarative object-oriented programming language
Adolfo J. Socorro Ramos
Publisher: Oxford, England :
Oxford University Computing Laboratory, Programming Research Group
, c1993.
ISBN: 0902928902
Efficient intersection tests for objects defined constructively
by
Stephen Cameron
Publisher: Oxford, [England] :
Oxford University Computing Laboratory, Programming Research Group
, 1990.
ISBN: 0902928643
Formal aspects of human-computer interaction
by
Gregory D. Abowd
Publisher: Oxford, England :
Oxford University Computing Laboratory, Programming Research Group
, 1991.
ISBN: 0902928759
A formal model through homogeneity theory of adaptive reasoning
by
Roberto Garigliano
and
Derek Long
Publisher: Oxford, [England] :
Oxford University Computing Laboratory, Programming Research Group
, 1989.
ISBN: 0902928538
Formal specification of window systems
by Jonathan Bowen
Publisher: Oxford, England :
Oxford University Computing Laboratory, Programming Research Group
, 1989.
ISBN: 0902928562
From Z to C
From Z to C: illustration of a rigorous development method
by D. S. Neilson
Publisher: Oxford, England :
Oxford University Computing Laboratory, Programming Research Group
, 1990.
ISBN: 0902928783
<<
>>
1
2
3
Copyright © 2002-2008 ISBNdb.com
FAQ
|
Privacy Policy
|
Contact ISBNdb.com
