Cover of Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Pape by Cohen, Ernie, Rybalchenko, Andrey, ISBN 9783642541070
General

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

VERIFIED SOFTWARE THEORIE TOOL

Contributor(s): Editor , Editor Format: Paperback

Paperback ยท ISBN 9783642541070

โ‚น5,675 2%
โ‚น5,804

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9783642541070
Subtitle VERIFIED SOFTWARE THEORIE TOOL
Publisher Springer
Publication date January 2014
Language English
MRP ยฃ44.99 GBP
Page count 364
Item weight 113 g

Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Pape published by Springer.