Marcel Vinícius Medeiros Oliveira & James Woodcock 
Formal Methods: Foundations and Applications [PDF ebook] 
12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Apoio

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 — co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination o...

leia mais
€79.72
Métodos de Pagamento

Tabela de Conteúdo

Speeding Up Simulation of System C Using Model Checking.- Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering....

leia mais
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● Páginas 351 ● ISBN 9783642104527 ● Editor Marcel Vinícius Medeiros Oliveira & James Woodcock ● Editora Springer Berlin ● Cidade Heidelberg ● País DE ● Publicado 2009 ● Carregável 24 meses ● Moeda EUR ● ID 2171421 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

16.615 Ebooks nesta categoria