|
|
books
| book details |
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Edited by Robert M. Hierons, Edited by Mercedes G. Merayo, Edited by Mario Bravetti
|
| on special |
normal price: R 1 687.95
Price: R 1 518.95
|
| book description |
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
| product details |
Normally shipped |
Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date | 12 Sep 2013
Language |
Format | Paperback / softback
Pages | 321
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-6424-0560-0
Readership Age |
BISAC | computers / programming / software development
| other options |
Normally shipped |
Readership Age |
Normal Price | R 2 154.95
Price | R 1 938.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
Matt Dinniman
Paperback / softback
480 pages
was: R 522.95
now: R 459.95
|
|
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
|
