|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
vtls010517747 |
| 003 |
SK-MaSNL |
| 005 |
20260302093547.0 |
| 008 |
160610s2013 xo da e n 001 0 eng |
| 015 |
|
|
|a SNBA2013/07
|
| 020 |
|
|
|a 9788055312828 (brož.)
|
| 035 |
|
|
|a 6508B4E8-C7FA-494B-83F5-A1DC31A30C4D
|
| 035 |
|
|
|a urn:nbn:sk:snk-aml9yg
|
| 035 |
|
|
|a urn:nbn:sk:snk-am008r2d
|
| 040 |
|
|
|a SNK
|b slo
|c SNK
|e AACR2
|
| 041 |
0 |
|
|a eng
|
| 044 |
|
|
|a xo
|c SK
|
| 072 |
|
7 |
|a 004.4/.6
|x Programovanie. Softvér
|2 konspekt
|
| 080 |
|
|
|a 004.415.53
|2 2001
|
| 080 |
|
|
|a (075.8)
|2 2001
|
| 245 |
0 |
0 |
|a Software testing fundamentals
|b introduction to software verification theory
|c Ladislav Samuelis ... [et al.]
|
| 250 |
|
|
|a [1st ed.]
|
| 260 |
|
|
|a Košice
|b Technical University
|c 2013
|
| 300 |
|
|
|a 147 s.
|b grafy, sch.
|c 24 cm
|
| 504 |
|
|
|a Bibliogr. odkazy ; index
|
| 650 |
0 |
7 |
|a testovanie softvéru
|2 SNKPH
|9 49761
|
| 650 |
0 |
7 |
|a Software testing
|2 SNKPHeng
|9 334079
|
| 655 |
|
7 |
|a učebnice vysokých škôl
|2 SNKPH
|9 70191
|
| 655 |
|
7 |
|a Textbooks (higher)
|2 SNKPHeng
|9 276436
|
| 700 |
1 |
|
|a Samuelis, Ladislav
|4 aut
|9 48973
|
| 700 |
1 |
|
|a Frühauf, Karol,
|d 1947-
|4 aut
|9 198572
|
| 700 |
1 |
|
|a Ludewig, Jochem
|4 aut
|9 764534
|
| 700 |
1 |
|
|a Sandmayr, Helmut
|4 aut
|9 545628
|
| 700 |
1 |
|
|a Szabó, Csaba
|4 aut
|9 338177
|
| 919 |
|
|
|a 978-80-553-1282-8
|
| 958 |
|
|
|a NB
|
| 999 |
|
|
|c 1209420
|d 1211350
|
| 952 |
|
|
|a SNK
|b SNK
|y PREZ
|7 0
|p 17A1070226
|o snkSC 154774
|i snk2013/13047
|8 0
|0 0
|1 0
|4 0
|d 2013-06-07
|f 1
|l 0
|r 2025-07-24 00:00:00
|w 2026-02-24
|
| 952 |
|
|
|a SNK
|b SNK
|y VYP
|7 0
|p 17A1070225
|o snkSC 154774 D1
|i snk2013/13049
|8 0
|0 0
|1 0
|4 0
|d 2013-06-07
|l 0
|r 2026-02-24 23:08:40
|w 2026-02-24
|
