Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .8164) (2014. 2014. xvi, 345

Name: Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .8164) (2014. 2014. xvi, 345
Brand: SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG
SKU: 00000_00000_00000_00000
Price: 100.69 SGD
Availability: InStock

Herausgegeben von Cohen, Ernie/ Rybalchenko, Andrey

100.69 SGD

会員価格

90.63

English

数量:

Publisher

SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG

Publication Date

Jan 2014

ISBN

9783642541070

Pages

350

Item Type

Book

Format

Paperback

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

ご注文金額 50.00 SGD以上で国内送料無料

カート

Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .8164) (2014. 2014. xvi, 345

Available to Order

Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .8164) (2014. 2014. xvi, 345

Recently Viewed Items

Related Products