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 = Tiziana Margaria (Editor), Tom Melham (Editor)" has produced 34 results.
Total number of pages displayed: 4

Select number of records to display per page: Sort by
Select All | Add selected items to basket   
1 2 3 4
1.
Higher Order Logic and Hardware Verification (Paperback)
Cambridge University Press
Published: 02/07/2009

12.5% off
In Stock: None

List Price: £36.99
Our Price: £32.37
HyperLink
2.
Higher Order Logic and Hardware Verification (Hardback)
Cambridge University Press
Published: 11/11/1993

12.5% off
In Stock: None

List Price: £110.00
Our Price: £96.25
HyperLink
3.
Formal Methods for Industrial Critical Systems (Paperback)
A Survey of Applications
Wiley-Blackwell
Published: 17/12/2012

10% off
In Stock: None

List Price: £81.95
Our Price: £73.76
Availability: Temporarily Out of Stock
HyperLink
4.
Leveraging Applications of Formal Methods, Verific... (Paperback)
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings
Springer International Publishing AG
Published: 06/10/2016

12.5% off
In Stock: None

List Price: £89.99
Our Price: £78.74
Availability: Temporarily Out of Stock
HyperLink
5.
Semantic Web Services Challenge (Paperback)
Results from the First Year
Springer-Verlag New York Inc.
Published: 12/02/2010

In Stock: None

List Price: £145.00
HyperLink
6.
Software Process Improvement (Paperback)
14th European Conference, Eurospi 2007, Potsdam, Germany, September 26-28, 2007, Proceedings
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 21/09/2007

In Stock: None

List Price: £53.99
HyperLink
7.
Correct Hardware Design and Verification Methods (Paperback)
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 27/08/2001

In Stock: None

List Price: £78.50
HyperLink
8.
Semantic Web Services Challenge (Hardback)
Results from the First Year
Springer-Verlag New York Inc.
Published: 04/12/2008

In Stock: None

List Price: £139.99
HyperLink
9.
Leveraging Applications of Formal Methods, Verific... (Paperback)
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 10/10/2008

In Stock: None

List Price: £144.00
HyperLink
10.
Leveraging Applications of Formal Methods, Verific... (Paperback)
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings
Springer International Publishing AG
Published: 06/10/2016

In Stock: None

List Price: £84.99
HyperLink
1 2 3 4
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