Foundations of real-time computing : formal specifications and methods /
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , |
| Formato: | Livro |
| Idioma: | English |
| Publicado em: |
Boston :
Kluwer Academic Publishers,
c1991.
|
| Colecção: | Kluwer international series in engineering and computer science ;
SECS 142. Kluwer international series in engineering and computer science. Real-time systems. |
| Assuntos: |
| LEADER | 01613cam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | c000289890 | ||
| 003 | CARM | ||
| 005 | 20090108094619.0 | ||
| 008 | 910410s1991 maua b 001 0 eng d | ||
| 019 | 1 | |a 8113472 |5 LACONCORD2021 | |
| 020 | |a 0792391675 (alk. paper) | ||
| 035 | |a (OCoLC)23689486 |5 LACONCORD2021 | ||
| 040 | |a LC |b eng |c LC |d AK |d VCAV | ||
| 050 | 0 | 0 | |a QA76.54 |b .F678 1991 |
| 082 | 0 | 4 | |a 004.33 |2 20 |
| 245 | 0 | 0 | |a Foundations of real-time computing : |b formal specifications and methods / |c edited by André M. van Tilborg, Gary M. Koob. |
| 260 | |a Boston : |b Kluwer Academic Publishers, |c c1991. | ||
| 300 | |a ix, 316 p. : |b ill. ; |c 25 cm. | ||
| 490 | 1 | |a The Kluwer international series in engineering and computer science ; |v SECS 142.. |a Real-time systems | |
| 500 | |a "Preliminary versions of these papers were presented at a workshop ... sponsored by the Office of Naval Research in October 1990 in Washington, D.C."--Foreword. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Real-time data processing. | |
| 700 | 1 | |a Van Tilborg, André M., |d 1953- | |
| 700 | 1 | |a Koob, Gary M., |d 1958- | |
| 710 | 1 | |a United States. |b Office of Naval Research | |
| 830 | 0 | |a Kluwer international series in engineering and computer science ; |v SECS 142. | |
| 830 | 0 | |a Kluwer international series in engineering and computer science. |p Real-time systems. | |
| 852 | 8 | |b CARM |h A3:AB25F0 |i C11612 |p 0521378 |f BK | |
| 999 | f | f | |i bda610b2-b08e-514a-bc48-a7991eb1b6c0 |s 08559674-4ba2-5eb5-b1bb-75c2c0399091 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C11612 |f A3:AB25F0 |h Other scheme |i book |m 0521378 |