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

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: Silva Ramírez, Esther Lydia
Awduron Eraill: Lopez Coello, Manuel (autor.)
Fformat: eLyfr
Iaith:Sbaeneg
Cyhoeddwyd: Cádiz : Universidad de Cádiz, 2017.
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!