Data Refinement : Model-Oriented Proof Methods and their Comparison

Detaljer

• Utgivelsesdato:

  03.12.1998

• ISBN:

  9780521641708

• Språk:

  , Engelsk

• Forlag:

  Cambridge University Press

• Fagtema:

  , Data- og informasjonsteknologi

• Serie:

  Cambridge Tracts in Theoretical Computer Science

• Litteraturtype:

  Faglitteratur

• Sider:

  436

• Høyde:

  23.6 cm

• Bredde:

  15.9 cm