Formal techniques in real-time and fault-tolerant systems : 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings
Uloženo v:
| Další autoři: | |
|---|---|
| Konference: | |
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin :
Springer,
2002
|
| Edice: | Lecture notes in computer science ;
v. 2469 |
| Žánr/forma: | sborníky konferencí |
| ISSN: | 0302-9743 |
| ISBN: | 3-540-44165-4 |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 01501nam a2200361 a 4500 | ||
|---|---|---|---|
| 001 | 000161218 | ||
| 003 | CZ PrSTK | ||
| 005 | 20240411141513.0 | ||
| 008 | 021007s2002 gw ||| | eng | ||
| 020 | |a 3-540-44165-4 | ||
| 022 | |a 0302-9743 | ||
| 040 | |a ABA013 |b cze | ||
| 050 | 0 | |a QA76.54 |b .F77 2002 | |
| 072 | 7 | |a 004 |x Počítačová věda. Výpočetní technika. Informační technologie |2 Konspekt |9 23 | |
| 080 | |a 004.38 |2 MRF | ||
| 080 | |a 004.62 |2 MRF | ||
| 080 | |a 004.031.43 |2 MRF | ||
| 080 | |a 004.052.3 |2 MRF | ||
| 080 | |a (062.534) |2 MRF | ||
| 111 | 2 | |a FTRTFT 2002 |n (7. : |c Oldenburg, Německo) | |
| 245 | 1 | 0 | |a Formal techniques in real-time and fault-tolerant systems : |b 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings / |c Werner Damm, Ernst-Rüdiger Olderog (eds.) |
| 260 | |a Berlin : |b Springer, |c c2002 | ||
| 300 | |a x, 253 s. : |b il. | ||
| 490 | 0 | |a Lecture notes in computer science ; |v v. 2469 | |
| 650 | 0 | 7 | |a počítače |x vt |7 psh12315 |2 psh |
| 650 | 0 | 7 | |a zpracování dat |x vt |7 psh12546 |2 psh |
| 650 | 0 | 7 | |a systémy pracující v reálném čase |7 ph184910 |2 czenas |
| 653 | 0 | |a systémy odolné proti poruchám | |
| 655 | 7 | |a sborníky konferencí |7 fd133333 |2 czenas | |
| 700 | 1 | |a Damm, Werner |7 xx0050260 |4 edt | |
| 700 | 1 | |a Olderog, Ernst-Rüdiger, |d 1955- |7 mub20231188861 |4 edt | |
| 910 | |a ABA013 |b A 35378/3 | ||
| 996 | |a STK |b 2660269818 |c 3511/2002 |f 1822.80 |g A 35378/3 |v QA76 .54 .F77 2002 |l 6.NP, regál 6C/299 |t 03 | ||