Corrección de algoritmos complejos : verificación formal /
Kaydedildi:
| Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Ekitap |
| Dil: | İspanyolca |
| Baskı/Yayın Bilgisi: |
Cádiz :
Universidad de Cádiz,
2017.
|
| Seri Bilgileri: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| Konular: | |
| Online Erişim: | Click to View OPAC'ta görüntüle |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
İlk yorumlayan siz olun!