Conte aos seus amigos sobre este 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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 23 de julho de 1990 |
| ISBN13 | 9783540195818 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 612 |
| Dimensões | 170 × 244 × 32 mm · 979 g |
| Idioma | Alemão |
| Editor | Rattray, Charles |