You would use similar code to the above in your theme where the menus are output:
<?php if (is_mobile()) { ?>
<?php wp_nav_menu( array('menu' => 'Mobile Nav' )); ?>
<?php } else { ?>
<?php wp_nav_menu( array('menu' => 'Desktop Nav' )); ?>
<?php } ?>