Tools and Algorithms for the Construction and Analysis of Systems

Détails bibliographiques
Autres auteurs: Biere
Format: Électronique eBook
Langue:English
Publié: Springer International Publishing, 2020
Édition:1
Sujets:
Accès en ligne:Full text available on Springer
Off-campus access
Description
Publié:Vol. 12079
Description:<strong>Off-Campus Access:</strong> Athens ID and Password Required
<strong>On-Campus Access:</strong> No User ID or Password Required
Description matérielle:1 online resource
Format:Mode of access: Internet
ISBN:978-3-030-45236-0
978-3-030-45237-7
Accès:Electronic access restricted to authorized BRAC University faculty, staff and students