Hardware and Software: Verification and Testing [[electronic resource] ] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (X, 197 p. 51 illus., 13 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
ISBN | 3-642-19583-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465908203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
The rhetoric of women's humour in Barbara Pym's fiction / / Naghmeh Varghaiyan ; with a preface by Orna Raz |
Autore | Varghaiyan Naghmeh |
Pubbl/distr/stampa | Stuttgart : , : Ibidem-Verlag, , [2021] |
Descrizione fisica | 1 online resource (ix, 219 pages) |
Disciplina | 823.914 |
Collana | Studies in English literatures |
ISBN | 3-8382-7503-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910794444803321 |
Varghaiyan Naghmeh
![]() |
||
Stuttgart : , : Ibidem-Verlag, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The rhetoric of women's humour in Barbara Pym's fiction / / Naghmeh Varghaiyan ; with a preface by Orna Raz |
Autore | Varghaiyan Naghmeh |
Pubbl/distr/stampa | Stuttgart : , : Ibidem-Verlag, , [2021] |
Descrizione fisica | 1 online resource (ix, 219 pages) |
Disciplina | 823.914 |
Collana | Studies in English literatures |
ISBN | 3-8382-7503-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910812226403321 |
Varghaiyan Naghmeh
![]() |
||
Stuttgart : , : Ibidem-Verlag, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|