Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Logics in Computer Science

Logics in Computer Science

- A Study on Extensions of Temporal and Strategic Logics

av Fabio Mogavero

del av Atlantis Studies in Computing-serien

Logics in Computer Science av Fabio Mogavero
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9789462390560
  • Format:
  • Häftad
  • Sidor:
  • 149
  • Utgiven:
  • 9. augusti 2015
  • Utgåva:
  • 12013
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 2642 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 16. december 2024

Om Fabio Mogavero

Se alla böcker av Fabio Mogavero

Beskrivning av 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.

Användarnas betyg av Logics in Computer Science



Andra köpte även...
Hitta liknande böcker
Boken Logics in Computer Science finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.