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
CATEGORY BROWSE
Arts

Agriculture

Biography

Business

Children's

Computing

Earth Sciences

Economics

Educational

Engineering

English Language Teaching (ELT)

Environment

Family

Fiction

Finance

Geography

Home

Humanities

Industry

Information

Information Technology

Interdisciplinary Subjects

Language

Law

Leisure Interests

Literature

Mathematics

Medicine

Planning

Practical Interests

Reference

Science

Social Sciences

Sport

Technology

Travel

Veterinary Science


ABOUT US
About Us
Contact Us
Terms & Conditions


Your search for "AUTHOR = Tiziana Margaria (Editor), Bernhard Steffen (Editor)" has produced 50 results.
Total number of pages displayed: 5

Select number of records to display per page: Sort by
Select All | Add selected items to basket   
1 2 3 4 5
1.
Click Here To View Book Details
Formal Methods for Industrial Critical Systems (Paperback)
A Survey of Applications
By: Stefania Gnesi, Tiziana Margaria
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
2.
Click Here To View Book Details
Leveraging Applications of Formal Methods, Verific... (Paperback)
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings
By: Tiziana Margaria (Editor), Bernhard Steffen (Edito...
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
3.
Click Here To View Book Details
Transactions on Foundations for Mastering Change I (Paperback)
By: Bernhard Steffen (Editor)
Springer International Publishing AG
Published: 22/09/2016

12.5% off
In Stock: None

List Price: £44.99
Our Price: £39.37
Availability: Temporarily Out of Stock
HyperLink
4.
Click Here To View Book Details
Leveraging Applications of Formal Methods, Verific... (Paperback)
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings
By: Tiziana Margaria (Editor), Bernhard Steffen (Edito...
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.
Click Here To View Book Details
SOFSEM 2017: Theory and Practice of Computer Scien... (Paperback)
43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
By: Bernhard Steffen (Editor), Christel Baier (Editor)...
Springer International Publishing AG
Published: 11/01/2017

12.5% off
In Stock: None

List Price: £44.99
Our Price: £39.37
Availability: Temporarily Out of Stock
HyperLink
6.
Click Here To View Book Details
Leveraging Applications of Formal Methods, Verific... (Paperback)
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
By: Tiziana Margaria (Editor), Bernhard Steffen (Edito...
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 23/09/2014

In Stock: None

List Price: £64.99
HyperLink
7.
Click Here To View Book Details
Leveraging Applications of Formal Methods, Verific... (Paperback)
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings
By: Tiziana Margaria (Editor), Bernhard Steffen (Edito...
Springer International Publishing AG
Published: 06/10/2016

In Stock: None

List Price: £84.99
HyperLink
8.
Click Here To View Book Details
Verification, Model Checking, and Abstract Interpr... (Paperback)
5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : Proceedings
By: Bernhard Steffen (Editor), Giorgio Levi (Editor)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 07/01/2004

In Stock: None

List Price: £72.00
HyperLink
9.
Click Here To View Book Details
Tools and Algorithms for the Construction and Anal... (Paperback)
7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : Proceedings
By: Yi Wang (Editor), Tiziana Margaria (Editor)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 21/03/2001

In Stock: None

List Price: £103.50
HyperLink
10.
Click Here To View Book Details
Leveraging Applications of Formal Methods (Paperback)
By: Tiziana Maragria (Editor), Bernhard Steffen (Edito...
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 03/11/2006

In Stock: None

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

NEW
Illustrated Encyclopedia of Science
By: CLAUDIA MARTIN
add to basket

Fiction
Impossible Creatures
By: KATHERINE RUNDELL
add to basket

Fiction
Not for the Faint of Heart
By: LEX CROUCHER
add to basket

Fiction
Secret of Golden Island
By: NATASHA FARRANT
add to basket

Early Learning
Dictionary Story
By: SAM WINSTON
add to basket

Early Learning
Little Worried Caterpillar (PB)
By: CHRISTINE PYM
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
Nutty Numbers
By: DR. SEUSS
add to basket

Picture Book
All the Things We Carry PB
By: HELEN DOCHERTY
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

Picture Book
Animal Swim School
By: KATE PERIDOT
add to basket