Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, So Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan.
Tipo de material:
TextoSeries Lecture Notes in Computer Science, 7021Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Descripción: X, 205 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642250323Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Software engineering | Logic design | Information Systems | Computer Science | Software Engineering | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Programming Techniques | Mathematical Logic and Formal Languages | Management of Computing and Information SystemsFormatos 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 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
No hay ítems correspondientes a este registro
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.