Model Checking
£68.40
Includes FREE deliveryRRP £72.00 – you save £3.60 (5%)
Order before 4pm today for delivery by Fri 30 Jan 2026.
A Hardback by Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening
View other formats and editions of Model Checking by Edmund M. Clarke Jr.
Publisher: MIT Press Ltd
Publication Date: 04/12/2018
ISBN13: 9780262038836, 978-0262038836
ISBN10: 0262038838