Capa do artigo Temporal Logics In Computer Science

Temporal Logics In Computer Science

Finite-State Systems

de Valentin (Stockholms Universitet) Goranko, Martin (Universitat Kassel, Germany) Lange e Stephane (Centre National De La Recherche Scientifique (Cnrs), Paris) Demri
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, outubro de 2016 ‧
158,17€
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. It is a solid professional reference for researchers in the field and a graduate textbook that can be used for self-study as well as for teaching courses.

Temporal Logics In Computer Science

Finite-State Systems

de Valentin (Stockholms Universitet) Goranko, Martin (Universitat Kassel, Germany) Lange e Stephane (Centre National De La Recherche Scientifique (Cnrs), Paris) Demri

Propriedade Descrição
ISBN: 9781107028364
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: outubro de 2016
Idioma: Inglês
Dimensões: 174 x 247 x 20 mm
Encadernação: Capa dura
Páginas: 752
Tipo de produto: Livro
Coleção: Cambridge Tracts In Theoretical Computer Science
Classificação Temática: Livros em Inglês > Informática > Outras Aplicações
Livros em Inglês > Outros
EAN: 9781107028364

LIVROS DA MESMA COLEÇÃO

VER MAIS TÍTULOS DESTA COLEÇÃO

VALENTIN (STOCKHOLMS UNIVERSITET) GORANKO

VER MAIS TÍTULOS DESTE AUTOR