Corrección de algoritmos complejos : verificación formal /

Saved in:
Sonraí Bibleagrafaíochta
Príomhúdar: Silva Ramírez, Esther Lydia.
Údair Eile: Lopez Coello, Manuel, (autor.)
Formáid: ríomhLeabhar
Teanga:Spanish
Foilsithe: Cádiz : Universidad de Cádiz, 2017.
Sraith:Universidad de Cádiz. Ingenierías y arquitectura.
Ábhair:
Rochtain Ar Líne:Click to View
Clibeanna: Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!