Process Algebra: Equational Theories Of Communicating Processes
Equational Theories Of Communicating Processes
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, December of 2009 ‧
see product details
128,43€
10% OFF
CARD
TjFwQ1JHbHlkbWRrTlRSa1JGSnBTM3BPZDJsS1UydDBibFo0ZGt4SlJFRlJMMFE1T0ZWS1N6UndMM0ZSTm5wWkszSjNkbEYwTTNwV1JtUXdkRVZrZEVkME9XNVhhMDFFU21aM2NVTnRkMmhMYzIxa1NVUTVkMHR3UjNOaFdDdFZOWHBOVDFVd1lWZDFZUzh3TlU5VlZXaHhaMWw0TkZKclZsTm5hMFpuVVRKaVlrTlFObWd4Tml0U1F6TllLekZGYVd4WFFXTndWRTkyU3pabFpYVkpaRVpDWldoTlFXVklLMVZKZFc5MWRUVk1TRXBYUzNabVNXRnFUakJvVVVKNWJqUnhSV2xXWldoVFNUWXphRTlNT1d4alNXUjRSVWt2UVRacFVuQmpUekpLVXpaS1RHVjBSbE1yTTNBME1FWldaV2M1YXk5V1RsaDZTalJTTVZCeVpISXlOVlpaTjJKeGR5ODVSVXRsVUhORlVGZHllRmwxZFd4YU5uVk1RWFZOSzFaeE9IUlZTMVl4UWpOWmVFMVRWR3BqUlhGcWVFMXJZbHAzUkdoUlRIQkJPR1pzVnpkS01IZzFjRVZhVGxWTFlqVlNWQzlpU3pab09XUldXbEp1UlVKU2NWRnBUbFJ5TVVKSlUxTlRiME5qYkhNM2RHTXdOVXc0U0dvek1VUjRkRm8wUkM5dmFteFpPVFV6VEhFM1FVWnBNbGhxWjJreGMwRXJLemhwZEVWMlUxZHljVVYzZG1wTU5URXlZblk1Y0Zkak9YcFZSbGg2VDJ0dWFuUXZZMjFWYWpCWGMwcDFSVkZMY21GbE5qaHljVGhrZEVSRlVVZFBWVkFyYjFCSGRVZDJOMDlCVVROc1RITlJLM05xT0dNelYyYzVlRkJFYldFMGJHRnpXVUpxTjBZMlZUSllPWFZKWlhaTFJuVllWMVpoUW1sU1R6aHVRa0UxYmxoNVJqQnViWFo1VFVGelFWUkJkbEZOZDJ0cWRsZzBjSE4xVTB0WmRXbFpTME4zUmtVdmVrMW1XVWh0UzFVMFR6QkNSMmgyTlRkUk5GVnVha0Z5U0RCR1pHcEpkM2x0YXpneFVVaFdSVFpoVjNKMlRtUjZaR3B0UjJ4WmNXazNSVzkxY21kTmVqRjZibnB4WVdWS01GWXZRalJVU1VWYVlTc3laMnhQVVZOMVdVOTVaVTgwWXpsV2IzbHpjRmRqWm5oT2JVaDRkQzlqTjI1NVpsaExVR2x3TlZwS1MwNWFSMVJCVnpSalRUZFhiMGMwVmxweFJ6WjJVbFZQTTBnMFpEaDNVbXRYVkZkeFVHVnlXbUUwYjB3ek5tMUplVEpDTlRCUVZGRTRMMloxZDB4WU9HSTNaRXNySzBGTmIwTm9VemxoVmxSUlF5dFdVVDA5OkVoNTcrTVA3THZ6Y2pac3hwZUZNM0E9PQ==
free shipping
Sell your book
SYNOPSIS
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.
DETeBook com proteção para wookreaderILS
| 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 |
BOOKS FROM THE SAME COLLECTION
-
10%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS188,59€
209,54€free shipping -
10%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS82,74€
91,93€free shipping