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 = Aaron R. Bradley, Zohar Manna" has produced 15 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.
Programming for Engineers (Paperback)
A Foundational Approach to Learning C and Matlab
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 28/11/2013

12.5% off
In Stock: None

List Price: £39.99
Our Price: £34.99
Availability: Temporarily Out of Stock
HyperLink
2.
The Calculus of Computation (Paperback)
Decision Procedures with Applications to Verification
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 19/10/2010

In Stock: None

List Price: £35.99
HyperLink
3.
Mathematical Theory of Computation (Paperback)
Dover Publications Inc.
Published: 01/11/2003

In Stock: None

List Price: £23.99
HyperLink
4.
The Temporal Logic of Reactive and Concurrent Syst... (Paperback)
Specification
Springer-Verlag New York Inc.
Published: 17/10/2012

In Stock: None

List Price: £112.50
HyperLink
5.
Deductive Foundations of Computer Programming (Hardback)
Published: 28/02/1993

In Stock: None

List Price: £47.99
HyperLink
6.
The Calculus of Computation (Hardback)
Decision Procedures with Applications to Verification
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 03/09/2007

In Stock: None

List Price: £59.99
HyperLink
7.
Lectures on the Logic of Computer Programming (Paperback)
Society for Industrial & Applied Mathematics,U.S.
Published: 01/01/1987

In Stock: None

List Price: £28.99
HyperLink
8.
The Calculus of Computation (Paperback)
Decision Procedures with Applications to Verification
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 19/10/2010

In Stock: None

List Price: £35.99
HyperLink
9.
Logical Basis for Computer Programming (Paperback)
Published: 10/01/2008

In Stock: None

List Price: £45.99
HyperLink
10.
Temporal Verification of Reactive Systems (Paperback)
Safety
Springer-Verlag New York Inc.
Published: 22/08/2012

In Stock: None

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






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket