search for books and compare prices
Formal Methods for Concurrency
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
from Coriolis Group (June 1, 1996)
9781850321736 | details & prices | 290 pages | 6.25 × 9.50 × 0.75 in. | 0.90 lbs | List price $32.95
With Kazuno Kohara |
from Chapman & Hall (December 1, 1995)
9780412432002 | details & prices | List price $43.95
This edition also contains Jack Escarcha / Here Comes Jack Frost
About: The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems.
This edition also contains Jack Escarcha / Here Comes Jack Frost
About: The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems.