Verificación formal de algoritmos : ejercicios resueltos /

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: Silva Ramírez, Esther Lydia.
Awduron Eraill: López Coello, Manuel, (autor.)
Fformat: eLyfr
Iaith:Spanish
Cyhoeddwyd: Cádiz : Universidad de Cádiz, 2018.
Cyfres:Universidad de Cádiz. Ingenierías y arquitectura.
Pynciau:
Mynediad Ar-lein:Click to View
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!