A logical process calculus
Edición de la obra A logical process calculus
| Autor | Rance Cleaveland |
|---|---|
| Editorial | Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, For sale by the National Technical Information Service |
| Fecha de publicación | 2001 |
| Lugar | Hampton, VA, [Springfield, VA |
| Idioma | inglés |
| Formato | Microform |
| OCLC | 60380713 |
| Serie | ICASE report -- no. 2002-26. · [NASA contractor report] -- NASA/CR-2002-211759. · NASA contractor report -- NASA CR-211759. |
| Número de Cutter | C623l |