| book details |

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Edited by Stefan Kowalewski, Edited by Anna Philippou

| on special |

normal price: R 2,346.95

Price: R 2,111.95

| add to trolley |

| book description |

This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.

| product details |

| other options |

Normally shipped | Available from overseas. Delivery time is 14 - 21 days
Readership Age |

Normal Price | R 3,399.95
Price | R 3,059.95 | on special |

| add to trolley |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Living in a hut in 21st Century South Africa

Monde Ndandani
Paperback / softback
142 pages
was: R 220.95
now: R 198.95
Usually delivered in 6-12 days

| more |

| add to trolley |

Everyday Stoicism: Ancient Solutions to Modern Day Problems from Marcus Aurelius and the Stoics

Gareth Southwell
Hardback
240 pages
was: R 360.95
now: R 324.95
Usually dispatched in 6-12 days

An accessible introduction to Stoic philosophy packed with inspirational quotes and practical ideas to help you live better.

| more |

| add to trolley |

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages

Enquiries only

| more |

| enquire |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 296.95
now: R 266.95
Available from overseas. Usually dispatched in 3 to 6 weeks

| more |

| add to trolley |