Logic in Computer Science: Modelling and Reasoning about Systems (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Systemanalyse og systemdesign
  6. Dataarkitektur og logisk design
  7. Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems

(Bog, Paperback / softback, Engelsk)
Forfattere: Michael (Imperial College of Science Huth, Mark (University of Birmingham) Ryan
Logic in Computer Science: Modelling and Reasoning about Systems
Forlag: Cambridge University Press

Bemærk: Kan 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

Dataarkitektur og logisk design Matematisk datateori Systemanalyse og systemdesign
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfattere Michael (Imperial College of Science Huth, Mark (University of Birmingham) Ryan
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2 Revised edition
Udgivelsesdato 26-08-2004
Første udgivelsesår 2004
Illustrationer Worked examples or Exercises; 10 Tables, unspecified
Originalsprog United Kingdom
Sideantal 440
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 440 pages, Worked examples or Exercises; 10 Tables, unspecified
Mål 246 x 173 x 22
ISBN-13 / EAN-13 9780521543101