Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing - Fabio Mogavero - Livres - Atlantis Press (Zeger Karssen) - 9789491216947 - 12 août 2013
Si la couverture et le titre ne correspondent pas, le titre est correct.

Fabio Mogavero
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing 2013 edition

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 8 - 16 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

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.

168 pages, 13 black & white illustrations, 15 black & white tables, biography

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 12 août 2013
ISBN13 9789491216947
Éditeurs Atlantis Press (Zeger Karssen)
Pages 149
Dimensions 163 × 241 × 15 mm   ·   376 g

Voir tous les Fabio Mogavero ( par ex. Hardcover Book et Paperback Book )