«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Process Algebra and Probabilistic Methods: Performance Modeling and Verification Holger Hermanns
Código Libristo: 01564460
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julio 2002
This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebr... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Online-Kommunikation - Die Psychologie Der Neuen Medien Fur Die Berufspraxis: E-Mail, Website, Newsletter, Marketing, Kundenkommunikation Annette Kielholz / Libro Tapa dura
common.buy 67.29 €
HANGMAN - EINSTEIN EDITION - "Galgenmännchen TO GO" Denkriesen / Juego/Juguete Juego
common.buy 12.09 €
Matematika pro SOŠ a studijní obory SOU 3.část Oldřich Odvárko / Libro Tapa blanda
common.buy 7.89 €
LE MOULIN DE MES REVES Bonneau / Libro Tapa blanda
common.buy 16.09 €
L'Ouest Américain - West America Najarro / Libro Tapa blanda
common.buy 36.99 €
Le Robert de Poche Plus collegium / Libro Tapa blanda
common.buy 14.89 €
Sana Tu Mente, Cura Tu Cuerpo. Un Programa Revolucionario Para Liberarte del Dolor Cronico Y La Ansiedad / Mind Your Body: A Revolutionary Program to Sachs / Libro Tapa blanda
common.buy 18.09 €
Cómo tener sexo en el trabajo MATS & ENZO / Libro Tapa blanda
common.buy 7.59 €
Leuchtfeuer Corina Bomann / Libro Tapa blanda
common.buy 12.59 €
Puzzle 500 peace collection Light blue 35116 / Juego/Juguete Rompecabezas
common.buy 7.59 €
Wo samstags immer Sonntag ist Markus Flohr / Libro Tapa blanda
common.buy 13.99 €
Bewertung von Qualitatsverbesserungsmassnahmen Thomas Gerboth / Libro Tapa blanda
common.buy 37.49 €
Energie der Poesie Nick Living / Libro Tapa blanda
common.buy 14.89 €
HIPOCAMPOS Y BURBUJAS HIPPOCAMPUS & BUBB Marion Lindsay / Libro Tapa blanda
common.buy 6.59 €
La rodilla de Lucy : los primeros pasos hacia la humanidad Yves Coppens / Libro Tapa blanda
common.buy 18.29 €
Stedinger H a Schumacher / Libro Tapa blanda
common.buy 21.79 €
Little Dragon Sitting on the Top of the Story Bridge. Simplified Chinese MS Suet Fan Regina Wong / Libro Tapa blanda
common.buy 13.89 €
Próximamente
Hamburgs dunkle Seiten Kathrin Hanke / Libro Tapa dura
common.buy 20.69 €
Ergenus Cumhuriyeti Dilek Erdem / Libro Tapa blanda
common.buy 8.99 €
Das afrikanische Gewerbe Heinrich Schurtz / Libro Tapa blanda
common.buy 15.59 €
Les Anti-Inflammatoires Naturels Jennifer Louissa / Libro Tapa blanda
common.buy 16.49 €
Popular
Lovkyně Kate Quinn / Libro Tapa dura
common.buy 15.79 €

This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2002, held in Copenhagen, Denmark, in July 2002.The 10 revised full papers and four abstracts presented together with two invited contributions were carefully reviewed and selected from 19 submissions. Among the issues addressed are fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, concurrency, model checking, stochastic modeling, local area network protocols, stochastic process algebras, and Petri nets.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Autor Holger Hermanns, Roberto Segala
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2002
Número de páginas 222
EAN 9783540439134
ISBN 3540439137
Código Libristo 01564460
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 730
Dimensiones 155 x 235 x 13

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Matemáticas y ciencias > Matemáticas > Matemáticas aplicadas > Modelos matemáticos
Matemáticas y ciencias > Matemáticas > Álgebra
Tecnología, ingeniería, agricultura, procedimientos industriales > Tecnología: cuestiones generales > Matemáticas para ingenieros
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Dynamic Systems and Dynamic Classification Problems in Geophysical Applications Alexej Gvishiani / Libro Tapa blanda
common.buy 56.59 €
CRISPR-Cas Systems Rodolphe Barrangou / Libro Tapa blanda
common.buy 225.39 €
Frederica Quartet: The Virgin in the Garden, Still Life, Babel Tower & A Whistling Woman A. S. Byatt / Audiolibro MP3
common.buy 12.09 €
Last Man Who Knew Everything Hockney Mike Hockney / Libro electrónico Adobe ePub DRM
common.buy 11.59 €
Images of Life Michael D. Fritz / Libro Tapa blanda
common.buy 32.29 €
Rapid City Indian School, 1898-1933 Scott Riney / Libro Tapa blanda
common.buy 27.29 €
Retribution Jeanne C. Stein / Libro Tapa blanda
common.buy 9.39 €
Fifteen Candles: 15 Tales of Taffeta, Hairspray, Drunk Uncles, and Other Quinceanera Stories Adriana Lopez / Libro Tapa blanda
common.buy 18.79 €
Intercultural Application Guide for Work and Studies in the USA Michael B. Hinner / Libro Tapa blanda
common.buy 24.39 €
Monetary Policy Alternatives at the Zero Bound Brian P Sack / Libro Tapa blanda
common.buy 12.69 €
Science in the Pulpit Jerry L Artrip / Libro Tapa blanda
common.buy 8.79 €
Katherine and Her Sisters. by the Author of the Discipline of Life [I.E. Lady E. C. M. Ponsonby], Etc. Vol. I Lady Emily Charlotte Mary Ponsonby / Libro Tapa blanda
common.buy 30.19 €
Great Porter Square B L Farjeon / Libro Tapa blanda
common.buy 23.29 €
Community Jean Spenst / Libro Tapa blanda
common.buy 9.59 €
HANNAH Ramona Forrest / Libro Tapa blanda
common.buy 14.49 €
Soft Computing Techniques in Voltage Security Analysis Kabir Chakraborty / Libro Tapa blanda
common.buy 112.79 €
I was looking for love Bianca Grootfaam / Libro Tapa blanda
common.buy 12.69 €
15 Realistic Tests for the SAT Subject Test Math Level 1: Up to date and true to life: with 3 fully solved bonus tests Rusen Meylani / Libro Tapa blanda
common.buy 57.39 €
The Chronicles of Count Antonio Anthony Hope / Libro Tapa blanda
common.buy 8.89 €
Beginning Mental Training Skills for Curling Shannon L McDougall / Libro Tapa blanda
common.buy 16.29 €
Hero Tales James Baldwin / Libro Tapa blanda
common.buy 10.69 €
Flexibility in Adaptation Planning Radhakrishnan / Libro Tapa blanda
common.buy 140.29 €
Between Here and There: Words and Such Christine S Curtis / Libro Tapa blanda
common.buy 15.39 €
Your Word Is Truth: The Doctrine of Scripture Rick Muchewicz / Libro Tapa blanda
common.buy 6.99 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?