Ask the Bookseller a Question

Questions before ordering? Use this form to request more information from Revaluation Books About 25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science).