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

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing Softcover reprint of the original 1st ed. 2013 edition

Fabio Mogavero

Prix
Mex$ 1.368,34

Commandé depuis un entrepôt distant

Livraison prévue 12 - 21 mai

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

Également disponible en tant que :

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing Softcover reprint of the original 1st ed. 2013 edition

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.

149 pages, 15 Tables, black and white; XVII, 149 p.

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 9 août 2015
ISBN13 9789462390560
Éditeurs Atlantis Press (Zeger Karssen)
Pages 149
Dimensions 155 × 235 × 9 mm   ·   244 g

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