Mon premier blog

Process Algebra and Probabilistic Methods, Performance Modeling and Verification, 2 conf., PAPM-PROBMIV 2002 by Holger Hermanns, Roberto Segala

Download Process Algebra and Probabilistic Methods, Performance Modeling and Verification, 2 conf., PAPM-PROBMIV 2002

Process Algebra and Probabilistic Methods, Performance Modeling and Verification, 2 conf., PAPM-PROBMIV 2002 Holger Hermanns, Roberto Segala
Language: English
Page: 224
Format: pdf
ISBN: 3540439137, 9783540439134
Publisher: Springer

Proceedings of the 10th Intl Conference on Conceptual Structures, held July 15-17, 2002 in Borovets, Bulgaria. Papers organized in topical sections on data and knowledge structures, semantics, interfaces and applications, and logical and mathematical foundations. Softcover.