Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Data Refinement

Data Refinement

- Model-Oriented Proof Methods and their Comparison

av Willem-Paul (Christian-Albrechts Universitat zu Kiel de Roever

del av Cambridge Tracts in Theoretical Computer Science-serien

Data Refinement av Willem-Paul (Christian-Albrechts Universitat zu Kiel de Roever
Om Data Refinement

Graduate text in formal methods in computer science.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521103503
  • Format:
  • Häftad
  • Sidor:
  • 436
  • Utgiven:
  • 18. december 2008
  • Mått:
  • 229x151x27 mm.
  • Vikt:
  • 660 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 10. december 2024

Om Willem-Paul (Christian-Albrechts Universitat zu Kiel de Roever

Se alla böcker av Willem-Paul (Christian-Albrechts Universitat zu Kiel de Roever

Beskrivning av Data Refinement

Graduate text in formal methods in computer science.

Användarnas betyg av Data Refinement



Andra köpte även...
Hitta liknande böcker
Boken Data Refinement finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.