Leveraging Applications of Formal Methods Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola

Product form

£64.99

Includes FREE delivery
Usually despatched within 5 days
Paperback by Tiziana Margaria Short Description:

Quantity

Add to basket

 

 

This item is a recurring or deferred purchase. By continuing, I agree to the cancellation policy and authorize you to charge my payment method at the prices, frequency and dates listed on this page until my order is fulfilled or I cancel, if permitted.

Publisher: Springer
Publication Date: 10/9/2024
ISBN13: 9783031737084, 978-3031737084
ISBN10: 3031737083

Non Fiction , Computing