FM 2014: Formal Methods

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

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

Autor: Cliff Jones, Pekka Pihlajasaari, Jun Sun

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer International Publishing AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

100.00 €

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

Informácie o knihe

Autor

Cliff Jones, Pekka Pihlajasaari, Jun Sun

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2014

Stránok

750

EAN

9783319064093

ISBN

3319064096

Enbook ID

02581552

Vydavateľ

Springer International Publishing AG

Hmotnosť

1157

Rozmery

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 zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

FM 2014: Formal Methods

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež