Process Algebra and Probabilistic Methods Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, ... 2165 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Process Algebra and Probabilistic Methods Performance...
Imagen de archivo
Process Algebra and Probabilistic Methods. Performance Modelling and Verification. Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings.
Publicado por
Berlin, Springer., 2001
ISBN 10: 354042556X
ISBN 13: 9783540425564
Antiguo o usado
Tapa dura
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
XII, 215 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2165. Sprache: Englisch. Nº de ref. del artículo: 683EB
Comprar usado
EUR 9,00
Gastos de envío:
EUR 30,00
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, . (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Nº de ref. del artículo: DA1411833
Comprar usado
EUR 46,08
Gastos de envío:
EUR 6,07
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, ... (Lecture Notes in Computer Science, 2165)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020167161
Comprar nuevo
EUR 52,91
Gastos de envío:
EUR 3,46
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 916137-n
Comprar nuevo
EUR 54,12
Gastos de envío:
EUR 2,29
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 916137
Comprar usado
EUR 61,99
Gastos de envío:
EUR 2,29
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, ... (Lecture Notes in Computer Science, 2165)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540425564_new
Comprar nuevo
EUR 57,55
Gastos de envío:
EUR 13,63
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 916137-n
Comprar nuevo
EUR 57,54
Gastos de envío:
EUR 17,06
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Publicado por
Springer Berlin Heidelberg Aug 2001, 2001
ISBN 10: 354042556X
ISBN 13: 9783540425564
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 236 pp. Englisch. Nº de ref. del artículo: 9783540425564
Comprar nuevo
EUR 53,49
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 916137
Comprar usado
EUR 65,34
Gastos de envío:
EUR 17,06
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Publicado por
Springer Berlin Heidelberg, 2001
ISBN 10: 354042556X
ISBN 13: 9783540425564
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Nº de ref. del artículo: 4889920
Comprar nuevo
EUR 48,37
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles