Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Semantics of Probabilistic Processes

Name: Semantics of Probabilistic Processes
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 15201924
Price: 50.57 EUR
Availability: InStock
Author: Yuxin Deng
ISBN: 9783662515983

An Operational Approach

Yuxin Deng

Língua

Inglês

Livro Capa mole

Código Libristo: 15201924

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, outubro 2016

This book discusses the semantic foundations of concurrent systems with nondeterministic and probabi... Descrição completa

Código Libristo: 15201924

122 b

50.57 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Revue sciences sociales et santé - Vol 30 - N°4 de décembre 2012 collegium

Capa mole

30.44 €

Das Boot - Staffel 3, 4 DVD Hans Steinbichler

DVD

13.75 €

Freidora De Aire Jorge-Luis Narvaez

Capa mole

6.77 €

This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics. It can also be used by researchers and practitioners either for advanced study or for technical reference.