LIBRISTO
LIBROAMANTO
obrigatório
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
0
Correio DHL 7.99 Correio DPD 4.49 Ponto DPD 3.99 Correio GLS 5.49 Correio MRW 5.49

Modal Logic and Process Algebra

A Bisimulation Perspective

Língua InglêsInglês
Livro Capa mole
Livro Modal Logic and Process Algebra Alban Ponse
Código Libristo: 05012595
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Descrição completa
? points 72 b Em breve Em breve
29.67
Reimpressão esperada Data desconhecida Data desconhecida

Política de devolução de 30 dias


Os clientes também compraram


Cronicas del neoliberalismo que vino del espacio exterior Antonio Jose Anton Fernandez / E-book Adobe ePub DRM
common.buy 9.28
El viaje de las palabras ANDREA MARCOLONGO / Livro Livro de capa dura
common.buy 19.38
Tí, čo nás predišli Martin Uher / Livro Capa mole
common.buy 4.53
Liebermann Hubert Knackfuß / Livro Capa mole
common.buy 13.42
Teenage Mutant Ninja Turtles Splitter Collection 06 Tom Waltz / Livro Livro de capa dura
common.buy 36.54
Los Cuentos de Astaria II: Los Campos de Stigya Alison Oropeza / Livro Capa mole
common.buy 14.02
Dědečkův velký útěk David Walliams / Áudio CD de áudio
common.buy 9.68
Die Einsamkeit Gottes und seine Gerechtigkeit Stephan Braun / Livro Livro de capa dura
common.buy 15.84
La Curacion Cuantica = Quantum Healing FRANK KINSLOW / Livro Capa mole
common.buy 12.41
1.1.-30.6.2004 Manfred Baldus / Livro Livro de capa dura
common.buy 194.15
Der kleine Drache Kokosnuss - Rückziehauto Ingo Siegner / Jogo/brinquedo Brinquedo
common.buy 6.05
Evolucion de La Tecnologia Celular GSM Hacia La Generacion 3.75 Dayana de la Caridad Rivero Hernández / Livro Capa mole
common.buy 38.56

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory. In modal logic, transition systems are the central object of study under the name of Kripke models. This volume collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems, and provide a key tool in identifying the processes represented by these structures. The volume offers an up-to-date overview of perspectives on labelled transition systems and bisimulations.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Modal Logic and Process Algebra
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1996
Número de páginas 352
EAN 9781881526964
ISBN 1881526968
Código Libristo 05012595
Peso 482
Dimensões 152 x 228 x 20
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ário

Também pode estar interessado em


Budgetary Control in Modern Organisation Israel Davidson / Livro Capa mole
common.buy 70.06
Hero in Me Teacher's Guide Judy Dick / E-book Adobe ePub DRM
common.buy 25.74
Guitar Chords - Major 7 Chords Dan Lupo / Livro Capa mole
common.buy 7.66
American Legal System and Civic Engagement Kenneth Manaster / Livro Capa mole
common.buy 42.90
Modern Education M. S. Avezova / Livro Capa mole
common.buy 8.57
NoMeansNo Mark Black / Livro Capa mole
common.buy 13.22
Secretive Sara Rosett / Livro Capa mole
common.buy 9.28
Em breve
Hammershoi Frank Claustrat / Livro Livro de capa dura
common.buy 38.66
Agency of Things in Medieval and Early Modern Art Grazyna Jurkowlaniec / Livro Livro de capa dura
common.buy 194.15
Spirit Animal Oracle Colette Baron-Reid / Artigos impressos Cartões
common.buy 21.70
The Next Great Paulie Fink Ali Benjamin / Livro Livro de capa dura
common.buy 26.85
Mothers Recompense Grace Aguilar / Livro Livro de capa dura
common.buy 39.27
Analysis and Design of Elastic Beams: Computationa Methods Walter D. Pilkey / Livro Livro de capa dura
common.buy 132.66
Neurocomputation in Remote Sensing Data Analysis Ioannis Kanellopoulos / Livro Capa mole
common.buy 45.93
What to Do for a Pain in the Neck Jerome Schofferman / Livro Capa mole
common.buy 14.13
Doing Time Roger Matthews / Livro Capa mole
common.buy 98.84

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?