EAN-13 ✓ Valid check digit Registered in Bücher (ISBN)
Search for Formal Methods In Computing on Amazon (or for the code 9789630582582)