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 = Marco Bernardo (Editor), Einar Broch Johnsen (Editor)" has produced 23 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.
Formal Methods for Dynamical Systems (Paperback)
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 16/05/2013

12.5% off
In Stock: None

List Price: £39.99
Our Price: £34.99
Availability: Temporarily Out of Stock
HyperLink
2.
Formal Methods for the Quantitative Evaluation of ... (Paperback)
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Springer International Publishing AG
Published: 04/06/2016

15% off
In Stock: None

List Price: £44.99
Our Price: £38.24
Availability: Temporarily Out of Stock
HyperLink
3.
Formal Methods for Multicore Programming (Paperback)
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : Advanced Lectures
Birkhauser Verlag AG
Published: 19/05/2015

15% off
In Stock: None

List Price: £39.99
Our Price: £33.99
Availability: Temporarily Out of Stock
HyperLink
4.
Theory and Practice of Formal Methods (Paperback)
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Springer International Publishing AG
Published: 13/03/2016

15% off
In Stock: None

List Price: £44.99
Our Price: £38.24
Availability: Temporarily Out of Stock
HyperLink
5.
Service-Oriented and Cloud Computing (Paperback)
5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings
Springer International Publishing AG
Published: 25/08/2016

15% off
In Stock: None

List Price: £44.99
Our Price: £38.24
Availability: Temporarily Out of Stock
HyperLink
6.
Tests and Proofs (Paperback)
11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Springer International Publishing AG
Published: 18/06/2017

12.5% off
In Stock: None

List Price: £44.99
Our Price: £39.37
Availability: Temporarily Out of Stock
HyperLink
7.
Formal Methods for Multicore Programming (Paperback)
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : Advanced Lectures
Birkhauser Verlag AG
Published: 19/05/2015

15% off
In Stock: None

List Price: £39.99
Our Price: £33.99
Availability: Temporarily Out of Stock
HyperLink
8.
Formal Methods for Eternal Networked Software Syst... (Paperback)
11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 30/05/2011

In Stock: None

List Price: £63.99
HyperLink
9.
Formal Methods for Open Object-Based Distributed S... (Paperback)
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 25/05/2007

In Stock: None

List Price: £72.00
HyperLink
10.
Integrated Formal Methods (Paperback)
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 07/05/2013

In Stock: None

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