Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings by Leavens, Gary T.

Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings (Paperback) (ISBN-13: 9783642150562)

Vendor: Gary T. Leavens
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings by Leavens, Gary T.

Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings

$54.99
Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings by Leavens, Gary T.

Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings

$54.99
Format: Paperback
Description
Description
x
Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.

Author: Gary T. Leavens
ISBN-10: 364215056X
ISBN-13: 9783642150562
Publisher: Springer
Language: English
Published: 08/05/2010
Pages: 217
Format: Paperback
Weight: 0.85lbs
Size: 9.10h x 6.10w x 0.50d

Recently Viewed Products