Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lecture Notes in Computer Science 13800) (1st ed. 2023. 2023. viii, 167 S. VIII, 167 p. 215 illus

Name: Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lecture Notes in Computer Science 13800) (1st ed. 2023. 2023. viii, 167 S. VIII, 167 p. 215 illus
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;
SKU: 00000_00000_00000_00000
Price: 100.69 SGD
Availability: InStock

Herausgegeben:Lal, Akash/ Tonetta, Stefano

100.69 SGD

Member Price

90.63

Quantity:

Product Description

VIII, 167 p. 215 illus., 20 illus. in color.

... Read Full Text

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;

Publication Date

ISBN

9783031258022

Pages

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.

Free domestic shipping on orders over 50.00SGD

Your Cart

Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lecture Notes in Computer Science 13800) (1st ed. 2023. 2023. viii, 167 S. VIII, 167 p. 215 illus

Product Description

Available to Order

Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lecture Notes in Computer Science 13800) (1st ed. 2023. 2023. viii, 167 S. VIII, 167 p. 215 illus

Recently Viewed Items

Related Products