Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science - Elzbieta Hajnicz - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540609414 - 20 de março de 1996
Caso a capa e o título não sejam correspondentes, considere o título como correto

Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science 1996 edition

Preço
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 17 - 27 de jul
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures and their algorithmic representations. It analyzes logical descriptions and algorithmic representions of time structures.


249 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 20 de março de 1996
ISBN13 9783540609414
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 249
Dimensões 156 × 234 × 13 mm   ·   367 g
Idioma Inglês  

Mere med samme udgiver