Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing - Fabio Mogavero - Livros - Atlantis Press (Zeger Karssen) - 9789462390560 - 9 de agosto de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
元 420,82

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 4 - 12 de dez
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível 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.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 9 de agosto de 2015
ISBN13 9789462390560
Editoras Atlantis Press (Zeger Karssen)
Páginas 149
Dimensões 155 × 235 × 9 mm   ·   244 g

Ver tudo de Fabio Mogavero ( por exemplo Paperback Book e Hardcover Book )