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 = Bernhard Steffen (Editor)" has produced 22 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.
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

15% off
In Stock: None

List Price: £44.99
Our Price: £38.24
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

15% off
In Stock: None

List Price: £89.99
Our Price: £76.49
Availability: Temporarily Out of Stock
HyperLink
3.
Click Here To View Book Details
Leveraging Applications of Formal Methods, Verific... (Paperback)
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
By: Tiziana Margaria (Editor), Bernhard Steffen (Edito...
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 11/09/2012

15% off
In Stock: None

List Price: £44.99
Our Price: £38.24
Availability: Temporarily Out of Stock
HyperLink
4.
Click Here To View Book Details
Leveraging Applications of Formal Methods, Verific... (Paperback)
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
By: Tiziana Margaria (Editor), Bernhard Steffen (Edito...
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 11/09/2012

15% off
In Stock: None

List Price: £44.99
Our Price: £38.24
Availability: Temporarily Out of Stock
HyperLink
5.
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

15% off
In Stock: None

List Price: £44.99
Our Price: £38.24
Availability: Temporarily Out of Stock
HyperLink
6.
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

15% off
In Stock: None

List Price: £44.99
Our Price: £38.24
Availability: Temporarily Out of Stock
HyperLink
7.
Click Here To View Book Details
Tools and Algorithms for the Construction and Anal... (Paperback)
4th International Conference, TACAS '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings
By: Bernhard Steffen (Editor)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 18/03/1998

In Stock: None

List Price: £81.00
HyperLink
8.
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 II
By: Tiziana Margaria (Editor), Bernhard Steffen (Edito...
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 23/09/2014

In Stock: None

List Price: £69.99
HyperLink
9.
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
10.
Click Here To View Book Details
Grundlagen Der Hoheren Informatik (Hardback)
Induktives Vorgehen
By: Bernhard Steffen, Oliver Ruthing, Malte Isberner
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 30/10/2013

In Stock: None

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

NEW
World’s Worst Superheroes
By: DAVID WALLIAMS
GET READY FOR SOME SUPERSIZED FUN!
add to basket

Inspiring
Maya Angelou
By: EVIE DAYE
add to basket

Inspiring
Jane Goodall
By: EVIE DAYE
add to basket

Inspiring
Marie Curie
By: EVIE DAYE
add to basket

New
Running My Own Race
By: ABENA EYESON
add to basket

New
No Cheese, Please!
By: NISHANI REED
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
add to basket

New
My Brother Is a Superhero
By: DAVID SOLOMONS
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
add to basket

Picture Book
Thoughts from a Quiet Bench
By: KES GRAY
add to basket

Picture Book
Animal Actions: Snap Like a Crab
By:
The first title in a new preschool series from Guilherme Karsten.
add to basket