Time and probability in formal design of distributed systems /
Сохранить в:
| OCLC: | 30814740 |
|---|---|
| Главный автор: | |
| Соавтор: | |
| Другие авторы: | |
| Язык: | English |
| Опубликовано: |
Amsterdam ; New York :
Elsevier,
1994.
|
| Серии: | Real-time safety critical systems ;
1. Real-time safety critical systems ; v. 1. |
| Предметы: | |
| Формат: | Thesis Monograph Note that CRL will digitize material from the collection when copyright allows. |
| LEADER | 02019cam a2200517 a 4500 | ||
|---|---|---|---|
| 001 | in00006138098 | ||
| 003 | OCoLC | ||
| 005 | 20060523110949.0 | ||
| 008 | 940629s1994 ne a b 001 0 eng | ||
| 010 | |a 94029186 | ||
| 015 | |a GB94-85094 | ||
| 016 | 7 | |a B9414112 |2 bccb | |
| 019 | |a 31515537 | ||
| 020 | |a 0444899405 (alk. paper) | ||
| 029 | 1 | |a UKM |b b9485094 | |
| 029 | 1 | |a NLGGC |b 123690897 | |
| 035 | |a (OCoLC)30814740 |z (OCoLC)31515537 | ||
| 040 | |a DLC |c DLC |d UKM |d OCL |d NLGGC |d CRL | ||
| 049 | |a CRLL | ||
| 050 | 0 | 0 | |a QA76.9.D5 |b H36 1994 |
| 082 | 0 | 0 | |a 005.2 |2 20 |
| 099 | |a P-00378731 | ||
| 100 | 1 | |a Hansson, Hans A. | |
| 245 | 1 | 0 | |a Time and probability in formal design of distributed systems / |c Hans A. Hansson ; with contributions by Lars-åke Fredlund. |
| 260 | |a Amsterdam ; |a New York : |b Elsevier, |c 1994. | ||
| 300 | |a xxv, 304 p. : |b ill. ; |c 25 cm. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 490 | 1 | |a Real-time safety critical systems ; |v v. 1. | |
| 500 | |a Originally presented as the author's thesis (Ph. D--Uppsala University, 1991) | ||
| 502 | |b doctoral |c University of Uppsala |d 1994. | ||
| 504 | |a Includes bibliographical references (p. 283-297) and index. | ||
| 650 | 0 | |a Electronic data processing |x Distributed processing. | |
| 650 | 0 | |a System design. | |
| 650 | 0 | |a Real-time data processing. | |
| 653 | 0 | |a Data processing |a Systems analysis. | |
| 700 | 1 | |a Fredlund, Lars-åke. | |
| 710 | 2 | |a Uppsala universitet. | |
| 752 | |a Sweden. | ||
| 830 | 0 | |a Real-time safety critical systems ; |v 1. | |
| 830 | 0 | |a Real-time safety critical systems ; |v v. 1. | |
| 907 | |a .b2094407x |b 04-05-22 |c 05-23-06 | ||
| 998 | |a diss |b 05-23-06 |c m |d - |e - |f eng |g ne |h 0 |i 1 | ||
| 999 | f | f | |i 08e8b720-e6e5-5666-881f-b64ee5b66b15 |s 725a73f0-3e55-5852-943b-5f0892aafa8f |t 0 |