Data Refinement: Model-Oriented Proof Methods and their Comparison (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Databaser
  6. Data Refinement: Model-Oriented Proof Methods and their...

Data Refinement: Model-Oriented Proof Methods and their Comparison

(Bog, Paperback / softback, Engelsk)
Forfattere: Willem-Paul (Christian-Albrechts Universitat zu Kiel de Roever, Kai (University of Technology Engelhardt
Data Refinement: Model-Oriented Proof Methods and their Comparison
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Databaser Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Graduate text in formal methods in computer science.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfattere Willem-Paul (Christian-Albrechts Universitat zu Kiel de Roever, Kai (University of Technology Engelhardt
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 18-12-2008
Første udgivelsesår 2008
Serie Cambridge Tracts in Theoretical Computer Science
Illustrationer Worked examples or Exercises; 18 Halftones, unspecified
Originalsprog United Kingdom
Sideantal 436
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 436 pages, Worked examples or Exercises; 18 Halftones, unspecified
Mål 151 x 229 x 27
ISBN-13 / EAN-13 9780521103503