Corrección de algoritmos complejos : verificación formal /
保存先:
第一著者: | |
---|---|
その他の著者: | |
フォーマット: | eBook |
言語: | Spanish |
出版事項: |
Cádiz :
Universidad de Cádiz,
2017.
|
シリーズ: | Universidad de Cádiz. Ingenierías y arquitectura.
|
主題: | |
オンライン・アクセス: | Click to View |
タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|