Matemática

Logics In Computer Science

A Study On Extensions Of Temporal And Strategic Logics

de Fabio Mogavero 

eBook
Bertrand.pt - Logics In Computer Science
idioma: Inglês
Editor: ATLANTIS PRESS
Edição: julho de 2013
10%
59,61€
Poupe 5,96€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

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.

Da mesma coleção

ver +
Compressed Data Structures For Strings
10%
10% Cartão Leitor Bertrand
59,61€
Poupe 5,96€
ATLANTIS PRESS
eBook
Constraints Meet Concurrency
10%
10% Cartão Leitor Bertrand
59,61€
Poupe 5,96€
ATLANTIS PRESS
eBook
Logics In Computer Science
A Study On Extensions Of Temporal And Strategic Logics
de Fabio Mogavero 
ISBN:
9789491216954
Ano de edição:
07-2013
Editor:
ATLANTIS PRESS
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Atlantis Studies In Computing
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9789491216954
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.