FM 2014: Formal Methods

Name: FM 2014: Formal Methods
Brand: Springer International Publishing AG
SKU: 9783319064093
Price: 2567 CZK
Availability: InStock

19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Autor: Cliff Jones, Pekka Pihlajasaari, Jun Sun

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer International Publishing AG

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 11-15 dnů

2 567 Kč

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods...

Informace o knize

Autor

Cliff Jones, Pekka Pihlajasaari, Jun Sun

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2014

Stránek

750

EAN

9783319064093

ISBN

3319064096

Enbook ID

02581552

Vydavatel

Springer International Publishing AG

Hmotnost

1157

Rozměry

155 x 235 x 40

Kompletní popis

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

FM 2014: Formal Methods

19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také