System-level validation : high-level modeling and directed test generation techniques

Saved in:
Bibliographic Details
Main Authors: Chen, Mingsong (Author), Qin, Xiaoke (Author), Koo, Heon-Mo (Author), Mishra, Prabhat, 1973- (Author)
Format: Book
Language: English
Published: New York : Springer, [2013]
Subjects:
informační technologie
informační systémy
informační management
information technology
information systems
information management
monografie
monographs
ISBN: 9781461413585
Physical Description: xxi, 247 stran : ilustrace ; 24 cm

Cover

Table of contents

LEADER 01814cam a2200457 i 4500
001 82736
003 CZ ZlUTB
005 20240829155839.0
007 ta
008 120705s2013 xxua b 001 0 eng
020 |a 9781461413585  |q (vázáno) 
040 |a DLC  |b cze  |c DLC  |d ZLD002  |e rda 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 004  |2 MRF 
080 |a 007+004  |2 MRF 
080 |a 005:[007+004]  |2 MRF 
080 |a (048.8)  |2 MRF 
100 1 |a Chen, Mingsong  |7 utb2015891482  |4 aut 
245 1 0 |a System-level validation :  |b high-level modeling and directed test generation techniques /  |c Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra 
264 1 |a New York :  |b Springer,  |c [2013] 
264 4 |c ©2013 
300 |a xxi, 247 stran :  |b ilustrace ;  |c 24 cm 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
504 |a Obsahuje bibliografické odkazy a rejstřík 
650 0 7 |a informační technologie  |7 ph121106  |2 czenas 
650 0 7 |a informační systémy  |7 ph114774  |2 czenas 
650 0 7 |a informační management  |7 ph114770  |2 czenas 
650 0 9 |a information technology  |2 eczenas 
650 0 9 |a information systems  |2 eczenas 
650 0 9 |a information management  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Qin, Xiaoke  |7 utb2015891488  |4 aut 
700 1 |a Koo, Heon-Mo  |7 utb2015891492  |4 aut 
700 1 |a Mishra, Prabhat,  |d 1973-  |7 utb2015891495  |4 aut 
910 |a ZLD002 
992 |a BK  |b SK  |d 1 
999 |c 82736  |d 82736 
952 |0 0  |1 0  |2 udc  |4 0  |6 004CHENM  |7 0  |8 BOOK  |9 136508  |a UTBZL  |b UTBZL  |c 030  |d 2015-11-24  |l 1  |o 004/CHEN,M.  |p 420010162829  |r 2022-02-17  |v 2520.00  |w 2019-08-26  |x N:nákup; Převod FAI: Karel Vlček, 17.2.2022  |y 05 

Similar Items