Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Object-Oriented Technology / / by Suad Alagić
| Object-Oriented Technology / / by Suad Alagić |
| Autore | Alagić Suad |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 209 p. 40 illus.) |
| Disciplina | 005.117 |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Programming Languages, Compilers, Interpreters Programming Techniques |
| ISBN | 3-319-20442-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Typed Objects -- Assertions -- Virtual Platform -- Type Systems -- Concurrent Models -- Object Databases -- Types and Constraints. |
| Record Nr. | UNINA-9910299248103321 |
Alagić Suad
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering: Specification, Implementation, Verification / / by Suad Alagić
| Software Engineering: Specification, Implementation, Verification / / by Suad Alagić |
| Autore | Alagić Suad |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XV, 178 p. 99 illus.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computers Software Engineering Programming Languages, Compilers, Interpreters Models and Principles |
| ISBN | 3-319-61518-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Analysis and Design -- 2 Specification of Constraints -- 3 Implementation Technology -- 4 Mapping Models to Code -- 5 Data Management -- 6 Software Verification. |
| Record Nr. | UNINA-9910254844703321 |
|
Alagić Suad
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||