Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Logics in Computer Science

Logics in Computer Science

- A Study on Extensions of Temporal and Strategic Logics

von Fabio Mogavero

enthalten in Atlantis Studies in Computing-Reihe

Logics in Computer Science von Fabio Mogavero
Über 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9789491216947
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 149
  • Veröffentlicht:
  • 31. Juli 2013
  • Ausgabe:
  • 2013
  • Abmessungen:
  • 241x163x15 mm.
  • Gewicht:
  • 400 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Fabio Mogavero

Alle Bücher von Fabio Mogavero anzeigen

Beschreibung von 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.

Kund*innenbewertungen von Logics in Computer Science



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Logics in Computer Science ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.