Process Algebra and Probabilistic Methods. Performance Modeling and Verification
Subtitle: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, ... (Lecture Notes in Computer Science)
Contributors: Holger Hermanns (Editor); Roberto Segala (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 15, 2002
Language: eng
Format: Paperback
Number of pages: 215
ISBN-13: 9783540439134
Subjects: Algebra; Computer Programming; Mathematical modelling; Machine Learning; Parallel Processing; Computers; Mathematics; Computer Books: General; Artificial Intelligence - General; General; Logic; Computers / Logic Design; Formal Verification; Hardware Verification; Markov Chains; Model Checking; Computer Engineering; Congresses; Machine theory; Parallel processing (Electroni; Parallel processing (Electronic computers)