Specification and development of interactive systems : focus on streams, interfaces, and refinement
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | |
| Ձևաչափ: | Գիրք |
| Լեզու: | English |
| Հրապարակվել է: |
New York
Springer
c2001.
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| LEADER | 01347nam a2200349Ia 4500 | ||
|---|---|---|---|
| 001 | vtls000002442 | ||
| 003 | MY-ArUMP | ||
| 005 | 20210731231445.0 | ||
| 008 | 120126s2001 xx 000 0 eng d | ||
| 020 | |a 0387950737 |c RM296.05 | ||
| 035 | |a (OCoLC)ocm45024470 | ||
| 039 | 9 | |a 201201261502 |b SMT |c 201111251707 |d VLOAD |c 200803150228 |d VLOAD |c 200409021756 |d Akmal |y 200406181457 |z VLOAD |e SS | |
| 040 | |a MYPMP |b eng |e rda |c MYPMP | ||
| 090 | 0 | 0 | |a QA76.758 |b B863 2001 |
| 100 | 1 | |a Broy, M. |d 1949-, |e author | |
| 245 | 1 | 0 | |a Specification and development of interactive systems : |b focus on streams, interfaces, and refinement |c Manfred Broy, Ketil Stølen. |
| 264 | 1 | |a New York |b Springer |c c2001. | |
| 264 | 4 | |c ©2001 | |
| 300 | |a xv, 348 pages: |b illustrations; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (pages [329]-334) | ||
| 541 | |a BISTARI |d 31-Jul-02 | ||
| 594 | |a 9-Aug-02 | ||
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Systems engineering. | |
| 700 | 1 | |a Stolen, Ketil | |
| 942 | |2 lcc |c BK-OS | ||
| 949 | |a VIRTUAITEM |d 10000 |f 1 |x 1 |6 003381 |9 1 | ||
| 999 | |c 83423 |d 83423 | ||
| 952 | |0 0 |1 0 |2 lcc |4 0 |6 QA0076758 B863 02001 |7 0 |9 73606 |a PTSFP |b PTSFP |c 1 |d 2021-07-31 |o QA76.758 B863 2001 |p 003381 |r 2021-07-31 |t 1 |w 2021-07-31 |y BK-OS | ||