pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register



Your search for "AUTHOR = W.-P. de Roever, Kai Engelhardt, Willem-Paul de Roever" has produced 24 results.
Total number of pages displayed: 3

Select number of records to display per page: Sort by
Select All | Add selected items to basket   
1 2 3
1.
Data Refinement (Hardback)
Model-Oriented Proof Methods and their Comparison
Cambridge University Press
Published: 03/12/1998

10% off
In Stock: None

List Price: £125.00
Our Price: £112.50
HyperLink
2.
Data Refinement (Hardback)
Model-Oriented Proof Methods and their Comparison
Cambridge University Press
Published: 03/12/1998

10% off
In Stock: None

List Price: £125.00
Our Price: £112.50
HyperLink
3.
Data Refinement (Paperback)
Model-Oriented Proof Methods and their Comparison
Cambridge University Press
Published: 01/11/2008

10% off
In Stock: None

List Price: £36.99
Our Price: £33.29
HyperLink
4.
Data Refinement (Hardback)
Model-Oriented Proof Methods and their Comparison
Cambridge University Press
Published: 03/12/1998

10% off
In Stock: None

List Price: £125.00
Our Price: £112.50
HyperLink
5.
Concurrency Verification (Paperback)
Introduction to Compositional and Non-compositional Methods
Cambridge University Press
Published: 09/09/2010

10% off
In Stock: None

List Price: £49.99
Our Price: £44.99
HyperLink
6.
Data Refinement (Paperback)
Model-Oriented Proof Methods and their Comparison
Cambridge University Press
Published: 01/11/2008

10% off
In Stock: None

List Price: £36.99
Our Price: £33.29
HyperLink
7.
Concurrency Verification (Hardback)
Introduction to Compositional and Non-compositional Methods
Cambridge University Press
Published: 26/11/2001

10% off
In Stock: None

List Price: £225.00
Our Price: £202.50
HyperLink
8.
Data Refinement (Hardback)
Model-Oriented Proof Methods and their Comparison
Cambridge University Press
Published: 03/12/1998

10% off
In Stock: None

List Price: £125.00
Our Price: £112.50
HyperLink
9.
Programming Concepts and Methods PROCOMET '98 (Hardback)
IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA
Chapman and Hall
Published: 31/05/1998

In Stock: None

List Price: £220.50
HyperLink
10.
Stepwise Refinement of Distributed Systems (Paperback)
Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 25/04/1990

In Stock: None

List Price: £117.00
HyperLink
1 2 3
Select All | Add selected items to basket   
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
Ramadan and Eid al-Fitr A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
add to basket

Learning
That''s My Story!: Drama for Confidence, Communication and C... The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
add to basket