Free Shipping to all UK customers for orders over £25.00

0 Total items on my wish-list.

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Contact Us
[email protected]
© Copyright Ryefield Books - All Right Reserved
Product Categories
My Shopping Cart
Void image

You shopping cart is empty

You may browse our offerings to locate what you're
searching for, then put it in your shopping cart.

Book cover image

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Usually dispatched within 3 - 5 business days.

In Stock (274)

£ 53.99

Description

The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.

Book Details
EAN:
9783030837228
Binding:
Paperback / softback
Dimensions(mm):
235 x 155
Publication Date:
2021-08-05
Publication Country:
Switzerland