Software cost estimation with cocomo II / Barry W. Boehm...[et al.]
| Software cost estimation with cocomo II / Barry W. Boehm...[et al.] |
| Pubbl/distr/stampa | Upper Saddle River : Prentice Hall, copyr. 2000 |
| Descrizione fisica | XXXVIII, 502 p. : ill. ; 24 cm + 1 cd |
| Disciplina | 005.3 |
| Altri autori (Persone) | BOEHM, Barry W. |
| Soggetto topico | Programmi per elaboratori - Modelli matematici |
| ISBN | 0-13-026692-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003153800203316 |
| Upper Saddle River : Prentice Hall, copyr. 2000 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The spin model checker : primer and reference manual / Gerard J. Holzmann
| The spin model checker : primer and reference manual / Gerard J. Holzmann |
| Autore | HOLZMANN, Gerard J. |
| Pubbl/distr/stampa | Boston [etc.] : Addison-Wesley, copyr. 2004 |
| Descrizione fisica | XII, 596 p. : ill. ; 24 cm |
| Disciplina | 005.3 |
| Soggetto topico | Programmi per elaboratori - Modelli matematici |
| ISBN | 978-0-321-22862-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003086590203316 |
HOLZMANN, Gerard J.
|
||
| Boston [etc.] : Addison-Wesley, copyr. 2004 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||