Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications
Author :
Publisher : Springer Science & Business Media
Total Pages : 360
Release :
ISBN-10 : 9783642104510
ISBN-13 : 3642104517
Rating : 4/5 (10 Downloads)

Book Synopsis Formal Methods: Foundations and Applications by : Marcel Vinícius Medeiros Oliveira

Download or read book Formal Methods: Foundations and Applications written by Marcel Vinícius Medeiros Oliveira and published by Springer Science & Business Media. This book was released on 2009-11-09 with total page 360 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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.


Formal Methods: Foundations and Applications Related Books

Formal Methods: Foundations and Applications
Language: en
Pages: 360
Authors: Marcel Vinícius Medeiros Oliveira
Categories: Computers
Type: BOOK - Published: 2009-11-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013
Formal Methods: Foundations and Applications
Language: en
Pages: 299
Authors: Jim Davies
Categories: Computers
Type: BOOK - Published: 2011-03-17 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, i
Formal Methods: Foundations and Applications
Language: en
Pages: 258
Authors: Leila Ribeiro
Categories: Computers
Type: BOOK - Published: 2016-11-12 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016
Formal Methods: Foundations and Applications
Language: en
Pages: 252
Authors: Juliano Iyoda
Categories: Computers
Type: BOOK - Published: 2013-08-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013
Formal Methods: Foundations and Applications
Language: en
Pages: 308
Authors: Simone Cavalheiro
Categories: Computers
Type: BOOK - Published: 2017-11-17 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/De