Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Name: Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563754
Price: 46.07 EUR
Availability: InStock
Author: Luca de Alfaro
ISBN: 9783540425564

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

Luca de Alfaro

Stephen Gilmore

Língua

Inglês

Livro Capa mole

Código Libristo: 01563754

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2001

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performa... Descrição completa

Código Libristo: 01563754

111 b

46.07 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Futterungsversuch an Ziegen Mit Ammoniumacetat, Harnstoff Und Hornmehl ALS Eiweissersatz Ernst Paasch

Capa mole

47.39 €

LONELY PLANET Reiseführer Indien Süden & Kerala Joe Bindloss

Capa mole

20.04 €

Homo asapiens Rado Ondřejíček

Livro de capa dura

9.00 €

Jak jsem jezdil do nebe Michal Třetina

Mapa

10.12 €

Le pouvoir des plantes/ documentaire nature santé 102 mn - livret 16 pages sur l'herboristerie BEAUDUCEL

DVD

22.78 €

Spider-Man 2099 : Dark Genesis

Capa mole

19.94 €

Impacto de la erosión en las infraestructuras O. E Inyang

Capa mole

21.36 €

Von Tripolis nach Alexandrien Gerhard Rohlfs

Capa mole

12.65 €

L'Heliotherapie Sur Le Littoral Mediterraneen Francais Faure-M

Capa mole

13.26 €

Hueckel

Livro de capa dura

6.57 €

Ces Messieurs de St-Malo T02 Temps Des Carbec B. Simiot

Capa mole

12.24 €

Traite Complet de l'Anatomie Des Animaux Domestiques Partie 2 Felix Rigot

Capa mole

25.11 €

Manuel Des Lecons Methodiques de Lecture Graduee, Numero 1 Lefevre-A

Capa mole

11.64 €

Französische Einflüsse auf die Staats- und Rechtsentwicklung Preußens im XIX. Jahrhundert. Ernst von Meier

Capa mole

63.49 €

IGI ARABA - Il sogno inizia Luigi Carlo De Micco

Livro de capa dura

19.74 €

Bedeutung gesundheitswissenschaftlicher Zusammenhange fur die praktische Arbeit im Gesundheitswesen dargestellt anhand eines Praxisbeispiels Jean-Claude Balanck

Capa mole

14.27 €

Staré lásky Isaac Bashevis Singer

Livro

7.79 €

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Autor Luca de Alfaro, Stephen Gilmore

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2001

Número de páginas 224

EAN 9783540425564

ISBN 354042556X

Código Libristo 01563754

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

Peso 750

Dimensões 155 x 235 x 13

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática

Matemática & ciência > Matemática > Matemática aplicada > Estocástica

Matemática & ciência > Matemática > Álgebra

Matemática & ciência > Matemática > Probabilidade e estatística

Informática & tecnologia da informação > Aplicações gráficas & para media digitais > Grafismo em 3D e modelagem

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

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

Breeding for Resistance to Diseases and Insect Pests Dhan P. Singh

Capa mole

73.52 €

Sundown Towns James W. Loewen

Livro de capa dura

32.91 €

Easy to Medium 300 Sudoku Puzzle Book: Volume 5 Enoch Darmody

Capa mole

14.17 €

Colorful Creatures: Exotic Ocean Fish Adult Coloring Book Jordan Biggio

Capa mole

8.80 €

A Fresh Start: She wants a new life, he needs a wife Ellie Etienne

Capa mole

9.51 €

Back Against the Wall Tamera Denise Kelly

Capa mole

12.65 €

Camilla And Gertrude And Other Poems (1884) Florence H. Hayllar

Capa mole

18.93 €

World War II in Atlanta Paul Crater

Capa mole

17.11 €

The Authenticity Hoax: Why the "Real" Things We Seek Don't Make Us Happy Andrew Potter

Capa mole

10.42 €

Socratic Method and Critical Philosophy: Selected Essays Leonard 1882-1927 Nelson

Capa mole

18.12 €

Our Own Pompeii. a Romance of To-Morrow. [By S. Middleton Fox.] S Middleton Fox

Capa mole

18.12 €

Dedham Park. a Tale of Saltshire. Bradshaw

Capa mole

21.06 €

Counter-Narrative Goodall

Capa mole

52.45 €

Learning to Love Amy Mia Marconi

Capa mole

7.99 €

Gunner Aboard the Yankee. from the Diary of Number Five of the After Port Gun. the Yarn of the Cruise and Fights of the Naval Reserves in the Spanish- H H Lewis

Capa mole

25.01 €

Foundation Discrete Mathematics for Computing DEXTER J. BOOTH

Capa mole

46.07 €

Murphy's Revenge Colin Bateman

Capa mole

8.19 €

Kung Pao and Beyond Jung

Livro de capa dura

18.42 €

Notes and Observations on the Ionian Islands and Malta John Davy

Capa mole

48.61 €

Sweeney Todd the Graphic Novel Original Text Clive Bryant

Capa mole

9.41 €

Political Theory and the Displacement of Politics Bonnie Honig

Capa mole

38.17 €

Acadia National Park Animals and Attractions Kids Book Billy Grinslott

Capa mole

11.23 €

Animal Models in Cardiovascular Research David Gross

Livro de capa dura

152.12 €

Procurado com frequência

Categories

Authors

Publishers

Procurado com frequência

Mercadoria

Categories

Authors

Publishers

Entrega

Guia de compras

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

Os clientes também compraram

Sobre o livro

Categorias

Ofereça este livro hoje

É fácil

Também pode estar interessado em

Procurado com frequência

Categories

Authors

Publishers

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

Os clientes também compraram

Sobre o livro

Categorias

Ofereça este livro hoje

É fácil

Também pode estar interessado em

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