De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
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

- 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.
  • 7. december 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: