How to know the model name of one device name and vice versa?
PDF at this link may help you List of all devices supported by Google Play

There is also .csv available 

Devices are listed in the following format - Marketing Name (Build.os.DEVICE/Build.os.MODEL)

Against your query of Nexus 7 2013, it returns two occurrences

Retail Name : Asus

Marketing Name: Nexus 7 (2013)

Device : deb 

Model : Nexus 7

and

Retail Name : Asus

Marketing Name: Nexus 7 (2013)

Device : flo

Model : Nexus 7

Source: https://stackoverflow.com/questions/17718532/a-complete-list-of-all-android-devices

Please do update your question if you locate alternative

Edit

This post
mentions a couple of git-hub sources which have device name information listed and this may help (I don't know how to get information from there )


https://github.com/mataanin/android-devices and
https://github.com/meetup/android-device-names