Verificación formal de algoritmos : ejercicios resueltos /

Sábháilte in:
Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Silva Ramírez, Esther Lydia
Rannpháirtithe: López Coello, Manuel (autor.)
Formáid: Ríomhleabhar
Teanga:Spáinnis
Foilsithe / Cruthaithe: Cádiz : Universidad de Cádiz, 2018.
Sraith:Universidad de Cádiz. Ingenierías y arquitectura.
Ábhair:
Rochtain ar líne:Click to View
Clibeanna: Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!