top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui