Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science - Elzbieta Hajnicz - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540609414 - March 20, 1996
In case cover and title do not match, the title is correct

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

Price
HK$ 438
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 15 - 19

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 20, 1996
ISBN13 9783540609414
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 249
Dimensions 156 × 234 × 13 mm   ·   367 g
Language English  

Mere med samme udgiver

See all of Elzbieta Hajnicz ( e.g. Paperback Book )