Guide to Software Verification with FramaC
£52.24
Includes FREE deliveryRRP £54.99 – you save £2.75 (5%)
Order before 4pm today for delivery by Thu 15 Jan 2026.
A Hardback by Nikolai Kosmatov
View other formats and editions of Guide to Software Verification with FramaC by Nikolai Kosmatov
Publisher: Springer International Publishing
Publication Date: 7/10/2024
ISBN13: 9783031556074, 978-3031556074
ISBN10: 3031556070
Also in:
Software testing and verification
Software testing and verification