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
| book details |
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
Edited by
Natarajan Shankar
, Edited by
Jim Woodcock
| on special |
normal price: R 2,171.95
Price: R 2,062.95
| add to trolley |
processing...
| book description |
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.
| product details |
Normally shipped |
Available from overseas. Delivery time is 14 - 21 days
Publisher |
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date |
22 Sep 2008
Language |
Format |
Paperback / softback
Pages |
263
Dimensions |
235 x 155 x 0mm (L x W x H)
Weight |
0g
ISBN |
978-3-5408-7872-8
Readership Age |
BISAC |
computers / programming / software development
| other options |
Normally shipped |
Available from overseas. Usually dispatched in 14 days
Readership Age |
Normal Price |
R 2,306.95
Price |
R 2,191.95
| on special |
| add to trolley |
processing...
| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |
| specials |
The Thing at 52
Mr. Ross Montgomery
Hardback
40 pages
was: R 363.95
now: R 345.95
Usually dispatched in 3 to 4 weeks as supplier is out of stock
The Thing at 52 is a beautiful picture book about friendship, loneliness and learning how to say goodbye.
| more |
| add to trolley |
processing...
Free Your Mind: The new world of manipulation and how to resist it
Laura Dodsworth
Paperback / softback
384 pages
was: R 300.95
now: R 270.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock
The Instant Sunday Times Bestseller Learn how to recognise and resist the daily attempts to control and manipulate your mind.
| more |
| add to trolley |
processing...
The Silent Patient: The record-breaking, multimillion copy Sunday Times bestselling thriller and TikTok sensation
Alex Michaelides
Paperback / softback
352 pages
was: R 280.95
now: R 252.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock
With film rights snapped up by an Oscar winning Hollywood production company, rights sold in a world record 43 territories, and rave blurbs from David Baldacci, Lee Child and A.
| more |
| add to trolley |
processing...
Copyright 2024
|
terms and conditions