1. Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Abstract data types )Computer science(,، System analysis,، Electronic data processing -- Structured techniques

رده :
QA
76
.
L28
Vol
.
1426