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

保存先:
書誌詳細
第一著者: Silva Ramírez, Esther Lydia.
その他の著者: Lopez Coello, Manuel, (autor.)
フォーマット: eBook
言語:Spanish
出版事項: Cádiz : Universidad de Cádiz, 2017.
シリーズ:Universidad de Cádiz. Ingenierías y arquitectura.
主題:
オンライン・アクセス:Click to View
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!