Tell your friends about this item:
Specification and Verification of Concurrent Systems - Workshops in Computing Charles Rattray Edition. Ed. edition
Specification and Verification of Concurrent Systems - Workshops in Computing
Charles Rattray
"Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref.
620 pages, 13 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 23, 1990 |
| ISBN13 | 9783540195818 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 612 |
| Dimensions | 170 × 244 × 32 mm · 979 g |
| Language | German |
| Editor | Rattray, Charles |