Contacto
Como comprar
Entrega
Guia de compras
Inglês
222 b
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
37.87
€
/
Livro de capa dura
57.92
€
/
Capa mole
33.31
€
/
Capa mole
51.95
€
/
Capa mole
24.70
€
Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction.This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field.The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals.
Sobre o livro
Inglês
Categorias
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
189.90
€
/
Capa mole
47.19
€
/
Livro de capa dura
31.08
€
/
Livro de capa dura
17.61
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?