isbn13 property

String isbn13
getter/setter pair

ISBN-13 regex

Implementation

static String isbn13 = r'^\d{13}$';