Temporal Logic: Volume 2 (Bog, Hardback, Engelsk) af Dov M (Department of Computer Science Gabbay
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Matematisk datateori
  6. Dataarkitektur og logisk design
  7. Temporal Logic: Volume 2

Temporal Logic: Volume 2

(Bog, Hardback, Engelsk)
Forfattere: Dov M (Department of Computer Science Gabbay, M. (Senior Lecturer in Computer Science Finger, M. ( Reynolds
Temporal Logic: Volume 2
Forlag: Oxford 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

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

Beskrivelse

Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics. This book, the companion to an already successful volume by the same authors, deals with an area of logic of interest in computer science, which considers the particularly rich and complex effects of time.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Oxford University Press
Forfattere Dov M (Department of Computer Science Gabbay, M. (Senior Lecturer in Computer Science Finger, M. ( Reynolds
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 30-03-2000
Første udgivelsesår 2000
Serie Temporal Logic
Illustrationer line figures
Originalsprog United Kingdom
Sideantal 612
Indbinding Hardback
Forlag Oxford University Press
Sideoplysninger 612 pages, line figures
Mål 245 x 164 x 37
ISBN-13 / EAN-13 9780198537687