Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics

Idioma: inglés

Editorial: Atlantis Press, 2013

9491216945 / 9789491216947

Librería: Buchpark, Trebbin, AlemaniaBuchpark

Vendedor de 5 estrellas

Vendedor de IberLibro desde 30 de septiembre de 2021

Tapa dura

Condición: Usado

EUR 35,90

Envío por EUR 105,00 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | 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. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games.

N° de ref. del artículo 23690901/1

Título
Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics
Autor
Fabio Mogavero
Editorial
Atlantis Press
Año de publicación
2013
Estado
Hervorragend
Encuadernación
Encuadernación de tapa dura
Idioma
inglés
ISBN 10
9491216945
ISBN 13
9789491216947
Catálogos de vendedores
Bücher

Buchpark

Trebbin, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 30 de septiembre de 2021

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 60 a 60 días hábilesDe 60 a 60 días hábiles
Primer artículoEUR 105,00EUR 130,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • Giro bancario
  • PayPal

Descripción de la tienda

Seit über 30 Jahren handeln wir mit Büchern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter Bücher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen Bücher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderbücher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten Büchern oder Haushaltsauflösungen kaufen wir bundesweit komplette Bibliotheken und Buchbestände von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die Möglichkeit, große Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbestände werden von uns professionell auf Qualitätsmerkmale hin untersucht und sorgfältig für den Onlinehandel aufbereitet. Wir schenken Büchern ein zweites Leben.…

Información empresarial del vendedor

Buchpark GmbH

Krügerweg 1
Trebbin, Alemania 14959