Model Checking 2ed

by Edmund M. Clarke

Publisher: MIT Press

Series: Cyber Physical Systems Series

Publication Date: November 15, 2018

ISBN: 9780262038836

Binding: Hardback

Availability: Out of Stock

Please note this is the time it takes for stock to reach our warehouse. Please allow a few extra days for delivery.

! This book is currently not available for purchase