Guide to Software Verification with FramaC
£54.99
Includes FREE deliveryUsually despatched within 5 days
Hardback by Nikolai Kosmatov
Short Description:
Publisher:
Springer International Publishing
Publication Date: 7/10/2024
ISBN13: 9783031556074, 978-3031556074
ISBN10: 3031556070