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:
  • 9789462390560
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 149
  • Veröffentlicht:
  • 9. August 2015
  • Ausgabe:
  • 12013
  • Abmessungen:
  • 155x235x0 mm.
  • Gewicht:
  • 2642 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.
Verlängerte Rückgabefrist bis 31. Januar 2025
  •  

    Keine Lieferung vor Weihnachten möglich.
    Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Ü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.