Semantics of sequential and parallel programs /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English German |
| Publicado: |
London ; New York :
Prentice Hall,
1996.
|
| Colección: | Prentice-Hall international series in computer science
|
| Materias: |
| LEADER | 01517cam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | c000225412 | ||
| 003 | CARM | ||
| 005 | 20061109124714.0 | ||
| 008 | 960116s1996 enka b 001 0 eng | ||
| 010 | |a 96004803 | ||
| 019 | 1 | |a 12138687 |5 LACONCORD2021 | |
| 020 | |a 0134606434 (pbk. : alk. paper) | ||
| 035 | |a (OCoLC)34077257 |5 LACONCORD2021 | ||
| 040 | |a TOC |b eng |c TOC |d TOC | ||
| 041 | 1 | |a eng |h ger | |
| 050 | 0 | 0 | |a QA76.6 |b .B4765 1996 |
| 082 | 0 | 0 | |a 005.13/1 |2 20 |
| 100 | 1 | |a Best, Eike, |d 1951- | |
| 240 | 1 | 0 | |a Semantik. |l English |
| 245 | 1 | 0 | |a Semantics of sequential and parallel programs / |c Eike Best. |
| 260 | |a London ; |a New York : |b Prentice Hall, |c 1996. | ||
| 300 | |a xi, 351 p. : |b ill. ; |c 24 cm. | ||
| 440 | 0 | |a Prentice-Hall international series in computer science | |
| 504 | |a Includes bibliographical references (p. 327-344) and index. | ||
| 505 | 0 | |a 1. Introduction -- 2. Basic Mathematical Concepts -- 3. Semantics of Sequential Programs -- 4. Sequential Versus Parallel Systems -- 5. Control Programs and Petri Nets -- 6. Operational Semantics and Fairness -- 7. Programs with Shared Data -- 8. Communicating Programs -- A: Some Proofs and Solutions. | |
| 650 | 0 | |a Programming languages (Electronic computers) |x Semantics. | |
| 650 | 0 | |a Computer programming. | |
| 852 | 8 | |b CARM |h A2:AO11G0 |i C08402 |p 0317736 |f BK | |
| 999 | f | f | |i 93d49281-fa75-516c-a84f-136d54f68d5b |s ee01c9fc-fd46-59e8-a73a-81f0f69151da |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C08402 |f A2:AO11G0 |h Other scheme |i book |m 0317736 |