Harnessing a Refinement Theory to Compute Loop Functions

Electronic Notes in Theoretical Computer Science 2009 Vol. 243; Iss. none

Harnessing a Refinement Theory to Compute Loop Functions

Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni
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:
243
Année:
2009
Langue:
english
Pages:
17
DOI:
10.1016/j.entcs.2009.07.010
Fichier:
PDF, 309 KB
english, 2009
La conversion en est effectuée
La conversion en a échoué