Contacto
Como comprar
Entrega
Guia de compras
Inglês
132 b
Até 30 dias para devoluções
Os clientes também compraram
/
Capa mole
25.22
€
/
Capa mole
7.03
€
/
Capa mole
11.95
€
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with anemphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail.Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing.
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
25.43
€
/
Capa mole
89.36
€
/
Capa mole
9.34
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?