Verificación formal de algoritmos : ejercicios resueltos /

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Silva Ramírez, Esther Lydia
Muut tekijät: López Coello, Manuel (autor.)
Aineistotyyppi: E-kirja
Kieli:espanja
Julkaistu: Cádiz : Universidad de Cádiz, 2018.
Sarja:Universidad de Cádiz. Ingenierías y arquitectura.
Aiheet:
Linkit:Click to View
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!