Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642332951
Price: 48.62 EUR
Availability: InStock

15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Автор: Rohit Gheyi, David Naumann

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

48.62 € 95.09 лв

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SB...

Информация за книгата

Автор

Rohit Gheyi, David Naumann

Език

Английски език

Корици

Книга - С меки корици

Издадена

2012

страници

227

EAN

9783642332951

ISBN

3642332951

Enbook ID

01662107

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

373

Размери

155 x 235 x 14

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Methods: Foundations and Applications

15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също