Formal methods and testing : an outcome of the FORTEST network : revised selected papers /

Uloženo v:
Podrobná bibliografie
Další autoři: Hierons, Robert M. (Editor), Bowen, J. P. 1956- (Editor), Harman, Mark (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2008
Edice:Lecture notes in computer science ; 4949
Témata:
počítačová věda
software
computer science
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 01914nam a22005057a 4500
001 MUB01000555825
003 CZ BrMU
005 20190613131445.0
008 080716s2008 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2017-06-28 
020 |a 978-3-540-78916-1  |z 3540789162 
040 |a BOD018  |b cze 
080 |a 004  |2 MRF 
080 |a 004.4  |2 MRF 
245 0 0 |a Formal methods and testing :  |b an outcome of the FORTEST network : revised selected papers /  |c edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman 
260 |a Berlin :  |b Springer,  |c c2008 
300 |a xi, 366 s. 
490 1 |a Lecture notes in computer science ;  |v 4949 
650 0 7 |a počítačová věda  |7 ph124511  |2 czenas 
650 0 7 |a software  |7 ph125823  |2 czenas 
650 0 9 |a computer science  |2 eczenas 
650 0 9 |a software  |2 eczenas 
700 1 |a Hierons, Robert M.  |7 xx0020077  |4 edt 
700 1 |a Bowen, J. P.  |q (Jonathan Peter),  |d 1956-  |7 jo2017973403  |4 edt 
700 1 |a Harman, Mark  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 4949 
CAT |a KREKOVA  |b 02  |c 20080716  |l MUB01  |h 1540 
CAT |a KREKOVA  |b 02  |c 20080717  |l MUB01  |h 0810 
CAT |c 20091203  |l MUB01  |h 0214 
CAT |c 20091203  |l MUB01  |h 1857 
CAT |c 20101015  |l MUB01  |h 2321 
CAT |c 20101016  |l MUB01  |h 0346 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0116 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 1016 
CAT |a HONIGOVAX  |b 02  |c 20130603  |l MUB01  |h 1422 
CAT |c 20150404  |l MUB01  |h 0325 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2338 
CAT |c 20170628  |l MUB01  |h 1110 
CAT |a VARTECKAX  |b 02  |c 20190613  |l MUB01  |h 1314 
CAT |c 20210614  |l MUB01  |h 0933 
CAT |c 20210614  |l MUB01  |h 1922 
LOW |a POSLANO DO SKCR  |b 2017-06-28 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 N414  |5 4200514103  |8 20080717  |f 74  |f Měsíční  |r 20080717 
AVA |a INF50  |b FI  |d N414  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1 

Podobné jednotky