
Model Checking Software
Klaus Havelund, Rupak Majumdar, Jens Palsberg
₹5,568

Free delivery. Nothing extra to pay at checkout.
How to Succeed in the Enterprise Software Market is a carefully curated title by Craig LeClair , published by IRM Press .
Description supplied by the publisher.