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: 07180354
Price: 50.57 EUR
Availability: InStock
Author: Yuxin Deng
ISBN: 9783662451977

An Operational Approach

Yuxin Deng

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 07180354

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, março 2015

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

Código Libristo: 07180354

122 b

50.57 €

Armazenamento externo Envio em 10-13 dias

Até 30 dias para devoluções

Os clientes também compraram

Ressemblance informe ou le Gai Savoir visuel selon Georges Bataille Georges Didi-Huberman

Capa mole

35.70 €

Tokyo Revengers - Tome 09 Ken Wakui

Capa mole

10.00 €

WAS IST WAS Junior Band 36 Natur- und Umweltschutz Das kannst du tun! Wundergarden Maria Bogade

Livro de capa dura

11.72 €

Manuel Equestre, Modifications Pour Rendre Definitive La Nouvelle Methode d'Equitation Provisoire Charles Raabe

Capa mole

17.49 €

200% VISUEL EXCEL 2010 ABOU O

Capa mole

23.05 €

Révélations divines - Sur le chemin de la connaissance - Canalisation de la nature, des éléments, de la vie et de la source Le Boulicaut

Capa mole

14.66 €

Czuła przewodniczka. Kobieca droga do siebie Natalia de Barbaro

Capa mole

7.78 €

Peppa Pig Hörspiel 11. Prinzessin Peppa (und 5 weitere Geschichten)

CD de áudio

10.92 €

Concrete Siberia Zupagrafika

Livro de capa dura

19.61 €

QualityLand MARC-UWE KLING

CD de áudio

32.56 €

Karty do gry 24 listki Classic

Cartões

0.80 €

Suche und finde! - Fahrzeuge Katharina Wieker

Livro concertina

8.89 €

Bridges Eivor

CD de áudio

18.00 €

Psicología en ajedrez I: Consejos prácticos para tomar decisiones en momentos clave Maximiliano Presuss

Capa mole

15.06 €

Torah Gematria of the Set-Apart Spirit: Surat L-Baqarah (Elomeh "His Knowledge") John (Columbia University) Martin

Capa mole

9.50 €

BMW 520i, 525e, 525i, 528i Dieter Korp

Livro

32.16 €

Geschichte des Drama's. J L Klein

Capa mole

15.26 €

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.