Udvidet returret til d. 31. januar 2025

Logics in Computer Science

- A Study on Extensions of Temporal and Strategic Logics

Bag om Logics in Computer Science

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9789491216947
  • Indbinding:
  • Hardback
  • Sideantal:
  • 149
  • Udgivet:
  • 31. juli 2013
  • Udgave:
  • 2013
  • Størrelse:
  • 241x163x15 mm.
  • Vægt:
  • 400 g.
  • BLACK NOVEMBER
Leveringstid: 8-11 hverdage
Forventet levering: 26. november 2024

Beskrivelse af Logics in Computer Science

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.

Brugerbedømmelser af Logics in Computer Science



Find lignende bøger
Bogen 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.