Verificación formal de algoritmos : ejercicios resueltos /
| Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Libros Digitales |
| Dil: | İspanyolca |
| Baskı/Yayın Bilgisi: |
Cádiz :
Universidad de Cádiz,
2018.
|
| Seri Bilgileri: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| Konular: | |
| Online Erişim: | Click to View |