Model checking software : 12th international SPIN workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
Uloženo v:
| Další autoři: | |
|---|---|
| Konference: | |
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin :
Springer,
2005
|
| Edice: | Lecture notes in computer science,
3639 |
| Žánr/forma: | sborníky konferencí |
| ISBN: | 3-540-28195-9 |
| Témata: | |
| On-line přístup: | Plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 01353nam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | 000170787 | ||
| 003 | CZ PrSTK | ||
| 005 | 20230308142802.0 | ||
| 008 | 051024s2005 gw a f |1|1 0 eng d | ||
| 020 | |a 3-540-28195-9 | ||
| 040 | |a ABA013 |b cze | ||
| 050 | 0 | |a QA76.76.V47 |b I582 2005 | |
| 072 | 7 | |a 004.4/.6 |x Programování. Software |2 Konspekt |9 23 | |
| 080 | |a 004.41(063) | ||
| 080 | |a 004.415.5(063) | ||
| 111 | 2 | |a International SPIN Workshop |n (12. : |d 2005 : |c San Francisco, Kalifornie) |7 xx0038354 | |
| 245 | 1 | 0 | |a Model checking software : |b 12th international SPIN workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / |c Patrice Godefroid (ed.) |
| 260 | |a Berlin : |b Springer, |c c2005 | ||
| 300 | |a xi, 287 s. : |b il. | ||
| 490 | 0 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3639 | |
| 504 | |a Obsahuje bibliografii a rejstřík | ||
| 655 | 7 | |a sborníky konferencí |7 fd133333 |2 czenas | |
| 650 | 0 | 7 | |a software |x vt |7 psh12463 |2 psh |
| 650 | 0 | 7 | |a softwarové inženýrství |x if |7 psh6634 |2 psh |
| 650 | 0 | 7 | |a verifikace programu |x if |7 psh6582 |2 psh |
| 700 | 1 | |a Godefroid, Patrice |7 xx0038353 |4 edt | |
| 856 | 4 | 1 | |u https://doi.org/10.1007/11537328 |y Plný text |
| 910 | |a ABA013 |b A 40980 | ||
| 950 | |a Springer |b Computer Science | ||
| 996 | |a STK |b 2660230939 |c 3862/2005 |d 20051024 |f 1530.90 |g A 40980 |v QA76 .76 .V47 I582 2005 |l 6.NP, regál 6D/049 |t 03 | ||