Advances in Software Engineering Techniques [electronic resource] : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers / edited by Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka.
Tipo de material:
TextoSeries Lecture Notes in Computer Science, 7054Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Descripción: 276 p. 87 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642280382Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Computer Science | Software Engineering | Computer Communication Networks | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs | Programming Techniques | Information Systems Applications (incl. Internet)Formatos físicos adicionales: Sin títuloClasificación CDD: 005.1 Clasificación LoC:QA76.758Recursos en línea: de clik aquí para ver el libro electrónico Springer eBooksResumen: This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. The 19 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on software architectures and development; modelling and formal methods in software development; measurements, testing, and quality of software.
No hay ítems correspondientes a este registro
This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. The 19 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on software architectures and development; modelling and formal methods in software development; measurements, testing, and quality of software.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.