Process Algebra and Probabilistic Methods

Process Algebra and Probabilistic Methods
Author :
Publisher :
Total Pages : 240
Release :
ISBN-10 : UOM:39015048319597
ISBN-13 :
Rating : 4/5 ( 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

Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Language: en
Pages: 228

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Authors: Luca de Alfaro
Categories: Mathematics
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM
Process Algebra and Probabilistic Methods: Performance Modelling and Verification
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

Process Algebra and Probabilistic Methods. Performance Modelling and Verification
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
Algebraic Methodology and Software Technology
Language: en
Pages: 399

Algebraic Methodology and Software Technology

Authors: Michael Johnson
Categories: Computers
Type: BOOK - Published: 2006-06-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers
Current Trends in Theoretical Computer Science
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