Formal Methods: Foundations and Applications

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

Autor: Simone Cavalheiro, José Fiadeiro

Język:

Oprawa: Miękka

Wydawca: Springer International Publishing AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

276.92 zł

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

Informacje o książce

Autor

Simone Cavalheiro, José Fiadeiro

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2017

strony

305

EAN

9783319708478

ISBN

3319708473

Enbook ID

18312709

Wydawca

Springer International Publishing AG

Waga

4803

Wymiary

155 x 235 x 18

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods: Foundations and Applications

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również