Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers (Lecture Notes in Computer Science, 14095)

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers (Lecture Notes in Computer Science, 14095)

Product ID: 3031660633 Condition: New

$ 206
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA Mastercard ozow

Product Description

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers (Lecture Notes in Computer Science, 14095)

Technical Specifications

Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
PartNumber
Refer to Sapnet.
IsAdultProduct
Height
9.2499815
Length
6.0999878
Weight
0.39021820374
Width
0.28
ReleaseDate
2024-07-27T00:00:01Z
NumberOfItems
1