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

Formal Methods: Foundations and Applications
  • Bandtyp: Häftad
  • Språk: Engelska
  • Utgiven: 201208
  • Antal sidor: 227
  • Upplaga: 2012 ed., 
    Vikt i gram: 373
  • ISBN10:3642332951
  • ISBN13:9783642332951

Formal Methods: Foundations and Applications

(Häftad)

Beskrivning:

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

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
Den allvarsamma leken
Den allvarsamma leken
av Söderberg, Hjalmar
Miniatyrmakaren
Miniatyrmakaren
av Burton, Jessie
Min mors självbiografi
Min mors självbiografi
av Kincaid, Jamaica