Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Verified Software: Theorie, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Paperback, 2014 ed.) Loot Price: R2,642

Discovery Miles 26 420

Repayment Terms: R248 pm x 12*

Add to cart

Verified Software: Theorie, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19,...

Verified Software: Theorie, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Paperback, 2014 ed.)

Ernie Cohen, Andrey Rybalchenko

Series: Programming and Software Engineering, 8164

(sign in to rate)

Loot Price R2,642 Discovery Miles 26 420 | Repayment Terms: R248 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Programming and Software Engineering, 8164
Release date:	2014
First published:	2014
Editors:	Ernie Cohen • Andrey Rybalchenko
Dimensions:	235 x 155 x 19mm (L x W x T)
Format:	Paperback
Pages:	345
Edition:	2014 ed.
ISBN-13:	978-3-642-54107-0
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-642-54107-0
Barcode:	9783642541070