Denna webbshop är stängd för köp.
Klicka här för mer information

FM 2014: Formal Methods
  • Bandtyp: Häftad
  • Språk: Engelska
  • Utgiven: 201403
  • Antal sidor: 750
  • Upplaga: 2014 ed., 
    Vikt i gram: 1157
  • ISBN10:3319064096
  • ISBN13:9783319064093

FM 2014: Formal Methods

(Häftad)

Beskrivning:

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.

Kundrecensioner och bloggar

Sök fler böcker:

Kunder som köpt denna bok har
även köpt:
Skotten i Köpenhamn :  ett reportage om
Uppgång och fall
Uppgång och fall
av Strömquist, Liv
Vägra följa John :  genvägen till hälsa,
Miniatyrmakaren
Miniatyrmakaren
av Burton, Jessie
Min mors självbiografi
Min mors självbiografi
av Kincaid, Jamaica