home
sign in
my orders
my e-books
my trolley
my account
contact
keyword
isbn13
author
title
| can't find it |
Tell us the title, author
and / or ISBN number
*
Any other details such as author,
ISBN, title or genre. Please be specific
What is your email address?
*
Not a valid email address
| browse books |
Textbooks
books
antiques & collectibles
architecture
art
biography & autobiography
body, mind & spirit
business & economics
comics & graphic novels
computers
cooking
crafts & hobbies
drama
education
family & relationships
fiction
foreign language study
games
gardening
health & fitness
history
house & home
humor
juvenile fiction
juvenile nonfiction
language arts & disciplines
law
literary collections
literary criticism
mathematics
medical
music
nature
non-classifiable
performing arts
pets
philosophy
photography
poetry
political science
psychology
reference
religion
science
self-help
social science
sports & recreation
study aids
technology
transportation
travel
true crime
books
> try searching in e-books
| search results |
displaying 11 results for author search for 'Bernhard Beckert'
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Bernhard Beckert
Paperback / softback, 356 pages
ISBN-13: 9783642358869
3 Jan 2013
Readership Age:
computers / programming / software development
Price: R 2 153.95
| on special |
normal price: R 2 267.95
Available from overseas. Usually dispatched in 14 days
| read more |
| add to trolley |
processing...
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Bernhard Beckert
Paperback / softback, 251 pages
ISBN-13: 9783642317613
19 Jul 2012
Readership Age:
Price: R 1 957.95
| on special |
normal price: R 2 060.95
Available from overseas. Usually dispatched in 14 days
| read more |
| add to trolley |
processing...
Formal Verification of Object-Oriented Software
Bernhard Beckert
Paperback / softback, 212 pages
ISBN-13: 9783642180712
30 Mar 2011
Readership Age:
No price available
computers / programming languages / general
This book is currently unavailable. Enquire to check if we can source a used copy
| read more |
| enquire |
processing...
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Bernhard Beckert
Paperback / softback, 199 pages
ISBN-13: 9783642180699
14 Jan 2011
Readership Age:
Price: R 2 153.95
| on special |
normal price: R 2 267.95
Usually dispatched in 3 to 4 weeks as supplier is out of stock
| read more |
| add to trolley |
processing...
Verification of Object-Oriented Software. the Key Approach
Bernhard Beckert
Paperback / softback, 696 pages
ISBN-13: 9783540834335
5 Sep 2008
Readership Age:
No price available
computers / programming languages / general
This book is currently unavailable. Enquire to check if we can source a used copy
| read more |
| enquire |
processing...
1
2
3
| your trolley |
To view the items in your trolley please sign in.
| sign in |
| specials |
Helgoland: The Strange and Beautiful Story of Quantum Physics
Carlo Rovelli
Paperback / softback
208 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks
| more |
| add to trolley |
processing...
The Coming Wave: AI, Power and Our Future
Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order
| more |
| add to trolley |
processing...
The Order of Time
Carlo Rovelli
Paperback / softback
224 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks
Originally published in Italian: L'ordine del tempo (Milan: Adelphi Edizioni, 2017).
| more |
| add to trolley |
processing...
Copyright 2025
|
terms and conditions
