Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing - Fabio Mogavero - Libros - Atlantis Press (Zeger Karssen) - 9789462390560 - 9 de agosto de 2015
En caso de que portada y título no coincidan, el título será el correcto

Fabio Mogavero
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

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de agosto de 2015
ISBN13 9789462390560
Editores Atlantis Press (Zeger Karssen)
Páginas 149
Dimensiones 155 × 235 × 9 mm   ·   244 g

Ver todo de Fabio Mogavero ( Ej. Hardcover Book y Paperback Book )