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.
Automatic program debugging for intelligent tutoring systems / William R. Murray
| Automatic program debugging for intelligent tutoring systems / William R. Murray |
| Autore | Murray, William R. |
| Pubbl/distr/stampa | London : Pitman ; San Mateo (Calif.) : Morgan Kaufmann Publishers, 1988 |
| Descrizione fisica | 347 p. : ill. ; 24 cm |
| Disciplina | 00514 |
| Collana | Research notes in artificial intelligence |
| Soggetto non controllato |
elaboratori elettronici digitali - programmazione
istruzione assistita da elaboratore ricerca degli errori (informatica) |
| ISBN | 0-273-08795-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000232210203316 |
Murray, William R.
|
||
| London : Pitman ; San Mateo (Calif.) : Morgan Kaufmann Publishers, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automatic program debugging for intelligent tutoring systems / William R. Murray
| Automatic program debugging for intelligent tutoring systems / William R. Murray |
| Autore | Murray, William R. |
| Pubbl/distr/stampa | London : Pitman ; San Mateo (Calif.) : Morgan Kaufmann Publishers, 1988 |
| Descrizione fisica | 347 p. : ill. ; 24 cm |
| Disciplina | 00514 |
| Collana | Research notes in artificial intelligence |
| Soggetto non controllato |
elaboratori elettronici digitali - progr
istruzione assistita da elaboratore ricerca degli errori (informatica) |
| ISBN | 0-273-08795-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000126940203316 |
|
Murray, William R.
|
||
| London : Pitman ; San Mateo (Calif.) : Morgan Kaufmann Publishers, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Program verification / Nissim Francez
| Program verification / Nissim Francez |
| Autore | Francez, Nissim |
| Pubbl/distr/stampa | Wokingham [etc.] : Addison-Wesley copyr. 1992 |
| Descrizione fisica | XI, 312 p. : ill. ; 24 cm |
| Disciplina | 00514 |
| Collana | International computer science series |
| Soggetto non controllato | software - verifica |
| ISBN | 0-201-41608-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000197920203316 |
|
Francez, Nissim
|
||
| Wokingham [etc.] : Addison-Wesley copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
recent advances in the development and use of the B method : second international B conference,Montepellier, France, April 22-24,1998 : proceedings / Didier Bert (ed.) (B'98)
| recent advances in the development and use of the B method : second international B conference,Montepellier, France, April 22-24,1998 : proceedings / Didier Bert (ed.) (B'98) |
| Autore | International B conference B'98 : 2. : 1998 |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | VIII, 311 p. : ill. ; 23 cm |
| Disciplina | 00514 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - montpellier - 1998
software - progettazione - congressi - 1998 |
| ISBN | 3-540-64405-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000209060203316 |
|
International B conference B'98 : 2. : 1998
|
||
| Berlino : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software testing and evaluation / Richard A. DeMillo...[et al.]
| Software testing and evaluation / Richard A. DeMillo...[et al.] |
| Pubbl/distr/stampa | Menlo Park (Calif.) : Benjamin-Cummings, copyr. 1987 |
| Descrizione fisica | XIII, 537 p. : tab. ; 24 cm |
| Disciplina | 00514 |
| Soggetto non controllato |
software - valutazione
software - verifica |
| ISBN | 0-8053-2535-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000172890203316 |
| Menlo Park (Calif.) : Benjamin-Cummings, copyr. 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software testing and evaluation / Richard A. DeMillo...[et al.]
| Software testing and evaluation / Richard A. DeMillo...[et al.] |
| Pubbl/distr/stampa | Menlo Park (Calif.) : Benjamin-Cummings, copyr. 1987 |
| Descrizione fisica | XIII, 537 p. : tab. ; 24 cm |
| Disciplina | 00514 |
| Soggetto non controllato |
software - valutazione
software - verifica |
| ISBN | 0-8053-2535-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000267430203316 |
| Menlo Park (Calif.) : Benjamin-Cummings, copyr. 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||