Analysis and testing of concurrent programs : monograph /

Main Author: Křena, Bohuslav, 1977-
Other Authors: Letko, Zdeněk, 1982-, Vojnar, Tomáš, 1973-
Language: English
Published: Brno : Faculty of Information Technology, Brno University of Technology, 2012
Edition: Vyd. 1.
Subjects:
Physical Description: 136 s. : il. ; 25 cm
Book
Saved in:
LEADER 01603nam a2200409 a 4500
001 nkc20122368786
003 CZ PrNK
005 20130222092057.0
007 ta
008 120517s2012 xr a f 000 0 eng
015 |a cnb002368786 
020 |a 978-80-214-4464-5  |q (brož.) 
035 |a (OCoLC)827259235 
040 |a ABA001  |b cze 
072 7 |a 004.4/.6  |x Programování. Software  |2 Konspekt  |9 23 
080 |a 004.415.53  |2 MRF 
080 |a (048.8:082)  |2 MRF 
100 1 |a Křena, Bohuslav,  |d 1977-  |7 mzk2005279275  |4 aut 
245 1 0 |a Analysis and testing of concurrent programs :  |b monograph /  |c Bohuslav Křena, Zdeněk Letko, Tomáš Vojnar 
250 |a Vyd. 1. 
260 |a Brno :  |b Faculty of Information Technology, Brno University of Technology,  |c 2012 
300 |a 136 s. :  |b il. ;  |c 25 cm 
504 |a Obsahuje bibliografii 
650 0 7 |a testování softwaru  |7 ph173828  |2 czenas 
650 0 9 |a software testing  |2 eczenas 
653 0 |a paralelní software 
655 7 |a kolektivní monografie  |7 fd501537  |2 czenas 
655 9 |a collective monographs  |2 eczenas 
700 1 |a Letko, Zdeněk,  |d 1982-  |7 hka2012739172  |4 aut 
700 1 |a Vojnar, Tomáš,  |d 1973-  |7 mzk2008433892  |4 aut 
910 2 |a BOA001  |b 3-1297.186 
928 9 |a Vysoké učení technické v Brně, Fakulta informačních technologií 
990 |a BK 
995 |a 01 
991 |b 201301  |c NOV  |e n  |j 004.4 KŘE 
996 6 |b 2610531552  |c 3-1297.186  |l MZK  |r Sklad / do 1 hodiny  |n 0  |p p.v.  |w 001306814  |u 000010  |a 1  |e BOA001  |j MZK50  |s P 
996 7 |b 2610531553  |c 3-1297.186  |l MZK  |r Sklad / do 1 hodiny  |n 7  |p p.v.  |w 001306814  |u 000020  |a 1  |e BOA001  |j MZK50  |s A