Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Logics in Computer Science

Logics in Computer Science - Fabio Mogavero - Bog

- A Study on Extensions of Temporal and Strategic Logics

af Fabio Mogavero

indgår i Atlantis Studies in Computing serien

Logics in Computer Science af Fabio Mogavero
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.
  • 8-11 hverdage.
  • 16. januar 2025

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Fabio Mogavero

Vis alle bøger af Fabio Mogavero

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



Andre købte også..
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.