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.
€51.16
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● Pagina’s 205 ● ISBN 9783642250323 ● Editor Adenilso Simao & Carroll Morgan ● Uitgeverij Springer Berlin ● Stad Heidelberg ● Land DE ● Gepubliceerd 2011 ● Downloadbare 24 maanden ● Valuta EUR ● ID 2246403 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer
Meer e-boeken van dezelfde auteur (s) / Editor
16.504 E-boeken in deze categorie
