Duration Calculus - A Formal Approach to Real-Time Systems - Hardback - 2003
Chaochen Zhou, Michael R. Hansen
Estado :
Segunda-mão: Muito bom estado
Estados : Segunda-mão: Muito bom estado
Capa, contra-capa, cantos e páginas interiores poderão apresentar pequenos defeitos estéticos.
Vendido por
País de expedição : França
Comentários do vendedor
Antigo livro de biblioteca. Ligeiros sinais de desgaste na capa. Edição 2003. Ammareal doa até 15% do valor líquido deste artigo para instituições de caridade.
Resumo
Offers an introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. This book represents a logical approach to formal design of real-time systems.
Year of publication: 2003
Pagination: 250 pages, biography
Format: Hardback
Serie: Monographs in Theoretical Computer Science : An Eatcs Series
Year of publication: 2003
Pagination: 250 pages, biography
Format: Hardback
Serie: Monographs in Theoretical Computer Science : An Eatcs Series
Duration Calculus - A Formal Approach to Real-Time Systems...
Resumo
Offers an introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. This book represents a logical approach to formal design of real-time systems.
Year of publication: 2003
Pagination: 250 pages, biography
Format: Hardback
Serie: Monographs in Theoretical Computer Science : An Eatcs Series
Year of publication: 2003
Pagination: 250 pages, biography
Format: Hardback
Serie: Monographs in Theoretical Computer Science : An Eatcs Series
Publicidade
Avaliações dos nossos clientes
Duration Calculus - A Formal Approach to Real-Time Systems - Hardback - 2003
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Dimensão
-
234 x 156 x 15
- Peso
-
548
- Tema
-
Computer programming / software development
- Origem
-
Germany
- EAN
-
9783540408239
Publicidade
Publicidade