Verified Software. Theories, Tools, and Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers (Paperback)

By Ruzica Piskac (Editor), Philipp Rümmer (Editor)

$71.49

Usually Ships in 1-5 Days

Product Details
ISBN: 9783030035914
ISBN-10: 3030035913
Publisher: Springer
Publication Date: November 24th, 2018
Pages: 345
Language: English
Series: Lecture Notes in Computer Science

BayShore Books LLC

302 Collins Avenue

Oconto, WI 54153

920-834-3220

Hours

Monday, Tuesday, Thursday, and Friday

10am-5:30pm

or by appointment

*Closed on all postal holidays. Please follow us on Facebook for the most up to date information.

**Dangerous winter weather: when the roads are bad and Oconto Unified School District cancels classes, we also close.

Shopping cart

There are no products in your shopping cart.

0 Items

Total: $0.00

Gift Cards

We now offer gift cards!

To purchase a digital Bookshop gift card to support BayShore Books:

Click here

Search form

You are here

Verified Software. Theories, Tools, and Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers (Paperback)