Data Refinement : Model-Oriented Proof Methods and their Comparison

Detaljer

• Utgivelsesdato:

  18.12.2008

• ISBN:

  9780521103503

• Språk:

  , Engelsk

• Forlag:

  Cambridge University Press

• Fagtema:

  , Data- og informasjonsteknologi

• Serie:

  Cambridge Tracts in Theoretical Computer Science

• Litteraturtype:

  Faglitteratur

• Sider:

  436

• Høyde:

  15.1 cm

• Bredde:

  22.9 cm