Process Algebra and Probabilistic Methods

Author	:
Publisher	:
Total Pages	: 240
Release	: 2002
ISBN-10	: UOM:39015048319597
ISBN-13	:
Rating	: 4/5 (97 Downloads)

DOWNLOAD EBOOK

Book Synopsis Process Algebra and Probabilistic Methods by :

Download or read book Process Algebra and Probabilistic Methods written by and published by . This book was released on 2002 with total page 240 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Process Algebra and Probabilistic Methods Related Books

Language: en
Pages: 240

Process Algebra and Probabilistic Methods

Authors:

Categories: Machine theory

Type: BOOK - Published: 2002 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 215

Process Algebra and Probabilistic Methods: Performance Modelling and Verification

Authors: Luca de Alfaro

Categories:

Type: BOOK - Published: 2001 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 1319

Current Trends in Theoretical Computer Science

Authors: Gheorghe P?un

Categories: Computers

Type: BOOK - Published: 2004 - Publisher: World Scientific

DOWNLOAD EBOOK

This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 200

Language: en
Pages: 1319

Current Trends In Theoretical Computer Science: The Challenge Of The New Century; Vol 1: Algorithms And Complexity; Vol 2: Formal Models And Semantics

Authors: Grzegorz Rozenberg

Categories: Computers

Type: BOOK - Published: 2004-04-19 - Publisher: World Scientific

DOWNLOAD EBOOK

This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 200

Language: en
Pages: 228

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Authors: Luca de Alfaro

Categories: Mathematics

Type: BOOK - Published: 2001-08-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM