FM 2014: Formal Methods

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

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

Autor: Cliff Jones, Pekka Pihlajasaari, Jun Sun

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

552.30 lei

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

Informații despre carte

Autor

Cliff Jones, Pekka Pihlajasaari, Jun Sun

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2014

Pagini

750

EAN

9783319064093

ISBN

3319064096

Enbook ID

02581552

Editura

Springer International Publishing AG

Greutate

1157

Dimensiuni

155 x 235 x 40

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

FM 2014: Formal Methods

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și