Programación formalización, análisis y reutilización de algoritmos matemáticos /
保存先:
| 第一著者: | |
|---|---|
| その他の著者: | , , |
| フォーマット: | 電子媒体 eBook |
| 言語: | スペイン語 |
| 出版事項: |
San Vicente del Raspeig :
Publicaciones de la Universidad de Alicante,
2002.
|
| シリーズ: | Textos docentes (Alicante, Spain).
Digitalia eBook Collection: Univ. de Alicante |
| 主題: | |
| オンライン･アクセス: | Digitalia Hispánica |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
目次:
- 1. Lenguaje de programación
- 2. El Lenguaje C.
- 3. Eficiencia de Algoritmos
- 4. Construcción formal de algoritmos: especificación, verificación y derivación
- 5. Algoritmos matemáticos. Numerical recipes en C.