25 Years of Model Checking - Orna Grumberg

Condition of the lot: Very Good (new or like new, without any signs of use)

Print on demand: This book is printed on demand. The delivery time depends on the printing, which starts once the buyer pays the order.