|
|
books
| book details |
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Edited by Markus Müller-Olm, Edited by Helmut Seidl
|
| on special |
normal price: R 1 699.95
Price: R 1 529.95
|
| book description |
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
| product details |
Normally shipped |
Publisher | Springer International Publishing AG
Published date | 20 Aug 2014
Language |
Format | Paperback / softback
Pages | 337
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-3191-0935-0
Readership Age |
BISAC | computers / computer science
| other options |
Normally shipped |
Readership Age |
Normal Price | R 2 127.95
Price | R 1 915.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
Mason Coile
Paperback / softback
224 pages
was: R 517.95
now: R 465.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
|
|
|
|
|
