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.
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
| From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security |
| Autore | Wasserrab Daniel |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2011 |
| Descrizione fisica | 1 online resource (XIX, 203 p. p.) |
| Soggetto non controllato |
Formal Semantics
Language Based Security Modularity Slicing Theorem Proving |
| ISBN | 1000020678 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | From Formal Semantics to Verified Slicing |
| Record Nr. | UNINA-9910346909903321 |
Wasserrab Daniel
|
||
| KIT Scientific Publishing, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification-based software-fault detection
| Verification-based software-fault detection |
| Autore | Gladisch Christoph David |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2011 |
| Descrizione fisica | 1 online resource (XVII, 264 p. p.) |
| Soggetto non controllato |
Dynamic Logic
Fault Detection Model Generation Test Generation Theorem Proving |
| ISBN | 1000023002 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910688568603321 |
|
Gladisch Christoph David
|
||
| KIT Scientific Publishing, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||