Books By van Rijsbergen, C. J.

1.

Free Choice Petri Nets

Author:: Desel, Jorg
Esparza, Javier

ISBN:: 978-0-521-01945-3

Book Format:: Paperback

List Price:: AUD $66.95

Publisher:: Cambridge University Press

Publication Date:: Sep 2005

2.

Belief Revision

ISBN:: 978-0-521-54564-8

Book Format:: Paperback

List Price:: USD $79.99

Publisher:: Cambridge University Press

Publication Date:: Dec 2003

3.

Predicate Transformer Semantics

Author:: Manes, Ernest. G.

ISBN:: 978-0-521-61610-2

Book Format:: Paperback

List Price:: USD $63.99

Publisher:: Cambridge University Press

Publication Date:: Dec 2004

4.

Theoretical Foundations of VLSI Design

ISBN:: 978-0-521-54565-5

Book Format:: Paperback

List Price:: AUD $71.95

Publisher:: Cambridge University Press

Publication Date:: Dec 2003

5.

Two-Level Functional Languages

Author:: Nielson, Flemming
Nielson, Hanne Riis

ISBN:: 978-0-521-01847-0

Book Format:: Paperback

List Price:: USD $58.99

Publisher:: Cambridge University Press

Publication Date:: Aug 2005

6.

Specification and Verification of Concurrent Systems

ISBN:: 978-0-387-19581-0

Book Format:: Hardback

List Price:: USD $59.95

Publisher:: Springer

Publication Date:: Aug 1990

7.

Concurrency Verification

Introduction to Compositional and...

Author:: Hanneman, Ulrich
Hooman, Jozef
Lakhnech, Yassine
Poel, Mannes
Zwiers, Job
de Boer, Frank
de Roever, Willem-Paul

ISBN:: 978-0-521-80608-4

Book Format:: Hardback

List Price:: AUD $440.00

Publisher:: Cambridge University Press

Publication Date:: Nov 2001

8.

Z User Workshop

Proceedings of the Fourth Annual Z User...

ISBN:: 978-0-387-19627-5

Book Format:: Hardback

List Price:: Contact Supplier contact

Publisher:: Springer

Publication Date:: Nov 1990

9.

Logic Program Synthesis and Transformation

Proceedings of LOPSTR 91, International...

ISBN:: 978-0-387-19742-5

Book Format:: Paperback

List Price:: Contact Supplier contact

Publisher:: Springer

Publication Date:: Mar 1992

10.

SIGIR '94

Proceedings of the Seventeenth Annual...

ISBN:: 978-0-387-19889-7

Book Format:: Paperback

List Price:: USD $136.00

Publisher:: Springer

Publication Date:: Aug 1994

11.

Formal Semantics and Pragmatics for Natural Langua... - a book by Clifford, James

Formal Semantics and Pragmatics for Natural Language Querying

Author:: Clifford, James

ISBN:: 978-0-521-60274-7

Book Format:: Paperback

List Price:: USD $52.99

Publisher:: Cambridge University Press

Publication Date:: Mar 2004

12.

User-Developer Cooperation in Software Development

Building Common Ground and Usable Systems

Author:: O'Neill, Eamonn

ISBN:: 978-1-85233-311-9

Book Format:: Hardback

List Price:: AUD $334.95

Publisher:: Springer

Publication Date:: Jan 2001

13.

Algorithmic Information Theory

Author:: Chaitin, Gregory. J.

ISBN:: 978-0-521-61604-1

Book Format:: Paperback

List Price:: USD $59.99

Publisher:: Cambridge University Press

Publication Date:: Dec 2004

14.

The Uncertain Reasoner's Companion

A Mathematical Perspective

Author:: Paris, J. B.

ISBN:: 978-0-521-03272-8

Book Format:: Paperback

List Price:: AUD $77.95

Publisher:: Cambridge University Press

Publication Date:: Nov 2006

15.

Nets, Terms and Formulas

Three Views of Concurrent Processes and Their...

Author:: Olderog, E. -R.

ISBN:: 978-0-521-01845-6

Book Format:: Paperback

List Price:: AUD $73.95

Publisher:: Cambridge University Press

Publication Date:: Aug 2005

16.

Functional Programming, Glasgow 1993

Author:: van Rijsbergen, C. J.

ISBN:: 978-0-387-19879-8

Book Format:: Paperback

List Price:: USD $74.95

Publisher:: Springer

Publication Date:: Jul 1994

17.

Object Orientation in Z

ISBN:: 978-0-387-19778-4

Book Format:: Paperback

List Price:: USD $61.95

Publisher:: Springer

Publication Date:: Sep 1992

18.

Basic Simple Type Theory

Author:: Hindley, J. Roger

ISBN:: 978-0-521-46518-2

Book Format:: Hardback

List Price:: AUD $164.95

Publisher:: Cambridge University Press

Publication Date:: Jul 1997

19.

Search and Planning under Incomplete Information

A Study Using Bridge Card Play

Author:: Frank, Ian

ISBN:: 978-3-540-76257-7

Book Format:: Hardback

List Price:: AUD $181.95

Publisher:: Springer

Publication Date:: Jan 1998

20.

Applications of Process Algebra

ISBN:: 978-0-521-60750-6

Book Format:: Paperback

List Price:: USD $106.00

Publisher:: Cambridge University Press

Publication Date:: Feb 2005

Books » van Rijsbergen, C. J. Books » Books-By

Related Keywords

Refine Options

Featured Books


1.		Free Choice Petri Nets Author: Desel, Jorg Esparza, Javier ISBN: 978-0-521-01945-3 Book Format: Paperback List Price: AUD $66.95 Publisher: Cambridge University Press Publication Date: Sep 2005 Quantity Note

2.		Belief Revision ISBN: 978-0-521-54564-8 Book Format: Paperback List Price: USD $79.99 Publisher: Cambridge University Press Publication Date: Dec 2003 Quantity Note

3.		Predicate Transformer Semantics Author: Manes, Ernest. G. ISBN: 978-0-521-61610-2 Book Format: Paperback List Price: USD $63.99 Publisher: Cambridge University Press Publication Date: Dec 2004 Quantity Note

4.		Theoretical Foundations of VLSI Design ISBN: 978-0-521-54565-5 Book Format: Paperback List Price: AUD $71.95 Publisher: Cambridge University Press Publication Date: Dec 2003 Quantity Note

5.		Two-Level Functional Languages Author: Nielson, Flemming Nielson, Hanne Riis ISBN: 978-0-521-01847-0 Book Format: Paperback List Price: USD $58.99 Publisher: Cambridge University Press Publication Date: Aug 2005 Quantity Note

6.		Specification and Verification of Concurrent Systems ISBN: 978-0-387-19581-0 Book Format: Hardback List Price: USD $59.95 Publisher: Springer Publication Date: Aug 1990 Quantity Note

7.		Concurrency Verification Introduction to Compositional and... Author: Hanneman, Ulrich Hooman, Jozef Lakhnech, Yassine Poel, Mannes Zwiers, Job de Boer, Frank de Roever, Willem-Paul ISBN: 978-0-521-80608-4 Book Format: Hardback List Price: AUD $440.00 Publisher: Cambridge University Press Publication Date: Nov 2001 Quantity Note

8.		Z User Workshop Proceedings of the Fourth Annual Z User... ISBN: 978-0-387-19627-5 Book Format: Hardback List Price: Contact Supplier contact Publisher: Springer Publication Date: Nov 1990 Quantity Note

9.		Logic Program Synthesis and Transformation Proceedings of LOPSTR 91, International... ISBN: 978-0-387-19742-5 Book Format: Paperback List Price: Contact Supplier contact Publisher: Springer Publication Date: Mar 1992 Quantity Note

10.		SIGIR '94 Proceedings of the Seventeenth Annual... ISBN: 978-0-387-19889-7 Book Format: Paperback List Price: USD $136.00 Publisher: Springer Publication Date: Aug 1994 Quantity Note

11.		Formal Semantics and Pragmatics for Natural Language Querying Author: Clifford, James ISBN: 978-0-521-60274-7 Book Format: Paperback List Price: USD $52.99 Publisher: Cambridge University Press Publication Date: Mar 2004 Quantity Note

12.		User-Developer Cooperation in Software Development Building Common Ground and Usable Systems Author: O'Neill, Eamonn ISBN: 978-1-85233-311-9 Book Format: Hardback List Price: AUD $334.95 Publisher: Springer Publication Date: Jan 2001 Quantity Note

13.		Algorithmic Information Theory Author: Chaitin, Gregory. J. ISBN: 978-0-521-61604-1 Book Format: Paperback List Price: USD $59.99 Publisher: Cambridge University Press Publication Date: Dec 2004 Quantity Note

14.		The Uncertain Reasoner's Companion A Mathematical Perspective Author: Paris, J. B. ISBN: 978-0-521-03272-8 Book Format: Paperback List Price: AUD $77.95 Publisher: Cambridge University Press Publication Date: Nov 2006 Quantity Note

15.		Nets, Terms and Formulas Three Views of Concurrent Processes and Their... Author: Olderog, E. -R. ISBN: 978-0-521-01845-6 Book Format: Paperback List Price: AUD $73.95 Publisher: Cambridge University Press Publication Date: Aug 2005 Quantity Note

16.		Functional Programming, Glasgow 1993 Author: van Rijsbergen, C. J. ISBN: 978-0-387-19879-8 Book Format: Paperback List Price: USD $74.95 Publisher: Springer Publication Date: Jul 1994 Quantity Note

17.		Object Orientation in Z ISBN: 978-0-387-19778-4 Book Format: Paperback List Price: USD $61.95 Publisher: Springer Publication Date: Sep 1992 Quantity Note

18.		Basic Simple Type Theory Author: Hindley, J. Roger ISBN: 978-0-521-46518-2 Book Format: Hardback List Price: AUD $164.95 Publisher: Cambridge University Press Publication Date: Jul 1997 Quantity Note

19.		Search and Planning under Incomplete Information A Study Using Bridge Card Play Author: Frank, Ian ISBN: 978-3-540-76257-7 Book Format: Hardback List Price: AUD $181.95 Publisher: Springer Publication Date: Jan 1998 Quantity Note

20.		Applications of Process Algebra ISBN: 978-0-521-60750-6 Book Format: Paperback List Price: USD $106.00 Publisher: Cambridge University Press Publication Date: Feb 2005 Quantity Note