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.
Design and application of strategies/tactics in higher order logics / / edited by Myla Archer, Ben Di Vito, César Muñoz
| Design and application of strategies/tactics in higher order logics / / edited by Myla Archer, Ben Di Vito, César Muñoz |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , September 2003 |
| Descrizione fisica | 1 online resource (v, 107 pages, 1 unnumbered page) : illustrations |
| Collana | NASA/CP |
| Soggetto topico |
Theorem proving
Semantics Tactics Computer programming Calculus |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Design and application of strategies tactics in higher order logics |
| Record Nr. | UNINA-9910701387403321 |
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , September 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods case studies for DO-333 / / Darren Cofer and Steven P. Miller
| Formal methods case studies for DO-333 / / Darren Cofer and Steven P. Miller |
| Autore | Cofer Darren |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , April 2014 |
| Descrizione fisica | 1 online resource (198 pages) : illustrations |
| Collana | NASA-CR |
| Soggetto topico |
Avionics
Air traffic control Software engineering Computer programming Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910702569303321 |
Cofer Darren
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , April 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal verification of AI software [[electronic resource] /] / John Rushby, R. Alan Whitehurst
| Formal verification of AI software [[electronic resource] /] / John Rushby, R. Alan Whitehurst |
| Autore | Rushby John <1949-> |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [1989] |
| Descrizione fisica | 1 volume |
| Altri autori (Persone) | WhitehurstR. Alan |
| Collana | NASA contractor report |
| Soggetto topico |
Artificial intelligence
Computer systems performance Expert systems Logic programming Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910698990203321 |
|
Rushby John <1949->
|
||
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [1989] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem / / Anthony J. Narkawicz and César A. Muñ̃oz
| A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem / / Anthony J. Narkawicz and César A. Muñ̃oz |
| Autore | Narkawicz Anthony Joseph <1982-> |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , November 2014 |
| Descrizione fisica | 1 online resource (26 pages) |
| Collana | NASA/TM |
| Soggetto topico |
Polynomials
Inequalities Theorem proving Roots of equations Mathematical programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910703730403321 |
|
Narkawicz Anthony Joseph <1982->
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , November 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The sharing of rights and information in a capability-based protection system [[electronic resource] /] / Matt Bishop
| The sharing of rights and information in a capability-based protection system [[electronic resource] /] / Matt Bishop |
| Autore | Bishop Matt (Matthew A.) |
| Pubbl/distr/stampa | Hanover, NH : , : Department of Mathematics and Computer Science, Dartmouth College |
| Descrizione fisica | 1 online resource (34 pages) : illustrations |
| Collana |
[NASA contractor report
Technical report |
| Soggetto topico |
Access control
Computer information security Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910702276203321 |
|
Bishop Matt (Matthew A.)
|
||
| Hanover, NH : , : Department of Mathematics and Computer Science, Dartmouth College | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
