| Shelfclass_id | 3.F.4 |
| Sortkey | DE ROEVER, WILLEM-PAUL |
| Authors | Willem-Paul de Roever, Frank de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers |
| Title | Concurrency Verification: Introduction to Compositional and Noncompositional Methods |
| Publisher | Cambridge University Press |
| Year | 2001 |
| Languages | eng |
| Isbn | 0521806089, 9780521806084 |
| Series | Cambridge tracts in theoretical computer science |
| Volume | 54 |
| Description | xxii, 776 p. ill. 24 cm. |
| Record date | 20100818 |
| Location | New York, NY, USA |
| Keywords | Parallel processing (Electronic computers), Computer software |
| Urlnote | Table of contents |
| Urls | http://www.loc.gov/catdir/toc/cam027/2001022303.html |