eBooks :: Back

eBooks :: Back

Formal methods : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings

Rohit Gheyi, David Naumann ([, Springer-Verlag], 2012)

 Abstract

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. 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.

 Digital Files: 1

Shelf
 Formal Methods- Foundations and Applications.pdf :: Download

LOGIN required

 Keyword

 Metadata

Collection Type : eBooks
Call Number : e20409397
Main entry-Personal name :
Additional entry-Personal name :
Subject :
Publishing : Berlin: [, Springer-Verlag], 2012
Responsibility Statement Rohit Gheyi, David Naumann
Language Code eng
Edition
Collection Source e-Book BOPTN 2013
Cataloguing Source LibUI eng rda
Content Type text
Media Type computer
Carrier Type online resource
Physical Description
Link http://link.springer.com/book/10.1007%2F978-3-642-33296-8
  • Availability
  • Review
  • Cover
Call Number Barcode Number Availability
e20409397 TERSEDIA
Review:
No review available for this collection: 20409397
Cover
 See also