Symbolic Model Checking
£74.10
Includes FREE deliveryRRP £78.00 – you save £3.90 (5%)
Order before 4pm today for delivery by Tue 14 Jul 2026.
A Hardback by Kenneth McMillan
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Symbolic Model Checking by Kenneth McMillan
Publisher: Springer
Publication Date: 31/07/1993
ISBN13: 9780792393801, 978-0792393801
ISBN10: