Formal Methods and Software Engineering [[electronic resource] ] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / / edited by Shengchao Qin, Zongyan Qiu |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XIV, 670 p. 200 illus., 66 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Algorithms Mathematical logic Computer communication systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Computer Communication Networks |
ISBN | 3-642-24559-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466028403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering : proceedings, Beijing, China, 4-6 July 2012 / / edited by Tiziana Margaria, Zongyan Qiu and Hongli Yang ; sponsored by IEEE Computer Society, IFIP [and] Beijing University of Technology |
Descrizione fisica | x, 284 p. : ill. ; ; 28 cm |
Disciplina | 005.1 |
Altri autori (Persone) |
Margaria-SteffenTiziana <1964->
QiuZongyan YangHongli, program co-chair |
Soggetto topico |
Software engineering
Computer software - Development |
Soggetto genere / forma | Conference proceedings. |
ISBN | 0-7695-4751-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Sixth International Symposium on Theoretical Aspects of Software Engineering
Theoretical aspects of software engineering 2012 IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering TASE 2012 2012 Sixth International Conference on Theoretical Aspects of Software Engineering |
Record Nr. | UNISA-996200470703316 |
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering : proceedings, Beijing, China, 4-6 July 2012 / / edited by Tiziana Margaria, Zongyan Qiu and Hongli Yang ; sponsored by IEEE Computer Society, IFIP [and] Beijing University of Technology |
Descrizione fisica | x, 284 p. : ill. ; ; 28 cm |
Disciplina | 005.1 |
Altri autori (Persone) |
Margaria-SteffenTiziana <1964->
QiuZongyan YangHongli, program co-chair |
Soggetto topico |
Software engineering
Computer software - Development |
Soggetto genere / forma | Conference proceedings. |
ISBN | 0-7695-4751-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Sixth International Symposium on Theoretical Aspects of Software Engineering
Theoretical aspects of software engineering 2012 IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering TASE 2012 2012 Sixth International Conference on Theoretical Aspects of Software Engineering |
Record Nr. | UNINA-9910619131103321 |
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|