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

FM 2011: Formal Methods
  • Bandtyp: Häftad
  • Språk: Engelska
  • Utgiven: 201106
  • Antal sidor: 450
  • ISBN10:3642214363
  • ISBN13:9783642214363

FM 2011: Formal Methods

(Häftad)

Beskrivning:

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.

The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.

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
Vintermörker :  samlade spänningshistori
Uppgång och fall
Uppgång och fall
av Strömquist, Liv
Miniatyrmakaren
Miniatyrmakaren
av Burton, Jessie
Min mors självbiografi
Min mors självbiografi
av Kincaid, Jamaica