Vista normal Vista MARC Vista ISBD

Formal Methods: Foundations and Applications [recurso electrónico] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao.

Por: Davies, Jim [editor.]Colaborador(es): Silva, Leila [editor.] | Simao, Adenilso [editor.] | SpringerLink (Online service)Tipo de material: Texto

TextoSeries Lecture Notes in Computer Science ; 6527Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Descripción: VIII, 291 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642198298Tema(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: Printed edition:: Sin títuloClasificación CDD: 005.1 Clasificación LoC:QA76.758Recursos en línea: Libro electrónico Texto

En: Springer eBooksResumen: This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 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.

Existencias ( 1 )
Notas de título ( 2 )

Existencias
Tipo de ítem	Biblioteca actual	Colección	Signatura	Copia número	Estado	Fecha de vencimiento	Código de barras
Libro Electrónico	Biblioteca Electrónica	Colección de Libros Electrónicos	QA76.758 (Browse shelf(Abre debajo))	1	No para préstamo		375951-2001

Navegando Biblioteca Electrónica Estantes, Código de colección: Colección de Libros Electrónicos Cerrar el navegador de estanterías (Oculta el navegador de estanterías)

Previo								Siguiente
Previo	QA76.758 Software Architecture	QA76.758 Fundamental Approaches to Software Engineering	QA76.758 Engineering of Software	QA76.758 Formal Methods: Foundations and Applications	QA76.758 Tools and Algorithms for the Construction and Analysis of Systems	QA76.758 Requirements Engineering: Foundation for Software Quality	QA76.758 Compiler Construction	Siguiente

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 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.