10% OFF
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, December of 2009 ‧
128,43€
10% OFF CARD
free shipping
Sell ​​your book
Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book presents a comprehensive overview of the various process algebras in use, and sets the standard for the field. Features include numerous exercises and an accompanying website.

Process Algebra: Equational Theories Of Communicating Processes

Equational Theories Of Communicating Processes

by J. C. M. (Technische Universiteit Eindhoven, The Netherlands) Baeten, M. A. (Technische Universiteit Eindhoven, The Netherlands) Reniers e T. (Technische Universiteit Eindhoven, The Netherlands) Basten

Property Description
ISBN: 9780521820493
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: December of 2009
Language: English
Cover: Hardcover
Pages: 476
Format: Book
Collection: Cambridge Tracts In Theoretical Computer Science
Categories: Books in English > Computing > Other Applications
Books in English > Others
EAN: 9780521820493