On the formal analysis of Gaussian optical systems in HOL

Formal Aspects of Computing 2016 / 9 Vol. 28; Iss. 5

On the formal analysis of Gaussian optical systems in HOL

Siddique, Umair, Tahar, Sofiène
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
28
Langue:
english
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-016-0367-1
Date:
September, 2016
Fichier:
PDF, 1.55 MB
english, 2016
La conversion en est effectuée
La conversion en a échoué