Corrección de algoritmos complejos : verificación formal /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | |
| Ձևաչափ: | էլ․ գիրք |
| Լեզու: | իսպաներեն |
| Հրապարակվել է: |
Cádiz :
Universidad de Cádiz,
2017.
|
| Շարք: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | Click to View |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|