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 = Willem-Paul de Roever, Kai Engelhardt" has produced 17 results.
Total number of pages displayed: 2

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

12.5% off
In Stock: None

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

12.5% off
In Stock: None

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

12.5% off
In Stock: None

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

12.5% off
In Stock: None

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

12.5% off
In Stock: None

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

12.5% off
In Stock: None

List Price: £125.00
Our Price: £109.38
HyperLink
7.
Data Refinement (Electronic book text)
Model-Oriented Proof Methods and their Comparison
Cambridge University Press (Virtual Publishing)
Published: 03/05/2010

In Stock: None

List Price: £85.00
HyperLink
8.
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
9.
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
10.
Programming Concepts and Methods PROCOMET '98 (Paperback)
IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA
Springer-Verlag New York Inc.
Published: 22/01/2013

In Stock: None

List Price: £220.50
HyperLink
1 2
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