Markedets billigste bøger
Gratis fragt fra 599,- kr
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Temporal Logics in Computer Science

Temporal Logics in Computer Science

- Finite-State Systems

af Stephane (Centre National de la Recherche Scientifique (CNRS) Demri

indgår i Cambridge Tracts in Theoretical Computer Science serien

Temporal Logics in Computer Science af Stephane (Centre National de la Recherche Scientifique (CNRS) Demri
Bag om Temporal Logics in Computer Science

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. It is a solid professional reference for researchers in the field and a graduate textbook that can be used for self-study as well as for teaching courses.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781107028364
  • Indbinding:
  • Hardback
  • Sideantal:
  • 752
  • Udgivet:
  • 13. Oktober 2016
  • Størrelse:
  • 258x186x47 mm.
  • Vægt:
  • 1462 g.
  Gratis fragt
Leveringstid: Ukendt - mangler pt.

Bag om Stephane (Centre National de la Recherche Scientifique (CNRS) Demri

Vis alle bøger af Stephane (Centre National de la Recherche Scientifique (CNRS) Demri

Beskrivelse af Temporal Logics in Computer Science

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. It is a solid professional reference for researchers in the field and a graduate textbook that can be used for self-study as well as for teaching courses.

Brugerbedømmelser af Temporal Logics in Computer Science



Andre købte også..
Find lignende bøger
Bogen Temporal Logics in Computer Science findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.