Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact

| browse books |
books
 

books

> try searching in e-books

| search results |

displaying 5 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 1 543.95
| on special |
normal price: R 1 715.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

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 768.95
| on special |
normal price: R 1 964.95
Available from overseas. Usually dispatched in 14 days

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 1 944.95
| on special |
normal price: R 2 160.95
Usually dispatched in 3 to 4 weeks as supplier is out of stock

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Bernhard Beckert
Paperback / softback, 193 pages
ISBN-13: 9783540791232
 31 Mar 2008
Readership Age:
computers / programming / software development 		Price: R 1 944.95
| on special |
normal price: R 2 160.95
Available from overseas. Usually dispatched in 14 days

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Bernhard Beckert
Paperback / softback, 658 pages
ISBN-13: 9783540689775
 3 Jan 2007
Readership Age:
computers / programming / object oriented 		Price: R 3 890.95
| on special |
normal price: R 4 322.95
Available from overseas. Usually dispatched in 14 days
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages


Enquiries only
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

Exiles: Times book of the month 'Stanley Kubrick meets MR James'

Mason Coile
Paperback / softback
224 pages
was: R 522.95
now: R 470.95
Forthcoming
A terrifying locked-room mystery set in a remote outpost on Mars.

Theory & Practice

Michelle de Kretser
Hardback
192 pages
was: R 424.95
now: R 382.95
Available from overseas. Usually dispatched in 14 days

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 450.95
now: R 405.95
Stock is usually dispatched in 6-12 days from date of order
Copyright 2026 |  terms and conditions