Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer International Publishing AG
SKU: 9783319708478
Price: 68.59 EUR
Availability: InStock

Автор: Simone Cavalheiro, José Fiadeiro

Език:

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

Издател: Springer International Publishing AG

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

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

68.59 € 134.15 лв

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

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

Автор

Simone Cavalheiro, José Fiadeiro

Език

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

Корици

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

Издадена

2017

страници

305

EAN

9783319708478

ISBN

3319708473

Enbook ID

18312709

Издател

Springer International Publishing AG

Теглоt

4803

Размери

155 x 235 x 18

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

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017. The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Formal Methods: Foundations and Applications

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

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

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

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