Verification of asynchronous and parametrized hardware designs : monograph

Saved in:
Bibliographic Details
Main Authors: Smrčka, Aleš, 1980- (Author), Vojnar, Tomáš, 1973- (Author)
Format: Book
Language: English
Published: Brno : Faculty of Information Technology, Brno University of Technology, 2010
Edition: Vyd. 1.
Subjects:
počítačové systémy
hardware
modelování a simulace
computer systems
computer hardware
modeling and simulation
formální verifikace
monografie
monographs
ISBN: 9788021442146 978-80-214-3547-6
Physical Description: vi, 115 s. : il. ; 25 cm

Cover

Table of contents

LEADER 02155cam a22004817a 4500
001 59765
003 CZ ZlUTB
005 20240829144029.0
007 ta
008 110404s2010 xr a e 000 0 eng
015 |a cnb002160201 
020 |a 9788021442146  |q (v knize neuvedeno :  |q brož.)  |z 978-80-214-3547-6 
040 |a BOA001  |b cze  |d ABA001  |d ZLD002 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 004.03  |2 MRF 
080 |a 004.3  |2 MRF 
080 |a 004.94  |2 MRF 
080 |a (048.8)  |2 MRF 
100 1 |a Smrčka, Aleš,  |d 1980-  |7 mzk2011632544  |4 aut 
245 1 0 |a Verification of asynchronous and parametrized hardware designs :  |b monograph /  |c Aleš Smrčka, Tomáš Vojnar 
250 |a Vyd. 1. 
260 |a Brno :  |b Faculty of Information Technology, Brno University of Technology,  |c 2010 
300 |a vi, 115 s. :  |b il. ;  |c 25 cm 
504 |a Obsahuje bibliografii a bibliografické odkazy 
650 0 7 |a počítačové systémy  |7 ph115866  |2 czenas 
650 0 7 |a hardware  |7 ph114652  |2 czenas 
650 0 7 |a modelování a simulace  |7 ph125543  |2 czenas 
650 0 9 |a computer systems  |2 eczenas 
650 0 9 |a computer hardware  |2 eczenas 
650 0 9 |a modeling and simulation  |2 eczenas 
653 0 |a formální verifikace 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Vojnar, Tomáš,  |d 1973-  |7 mzk2008433892  |4 aut 
910 |a ZLD002 
928 1 |a Vysoké učení technické v Brně 
928 9 |a Vysoké učení technické v Brně, Fakulta informačních technologií 
928 9 |a Fakulta informačních technologií, Vysoké učení technické v Brně 
992 |a BK  |b SK 
901 |a ISBN 978-80-214-3547-6  |f 1. vyd.  |g ISBN neplatné - duplicitní; platné ISBN náleží publikaci: VOJNAR, Tomáš: Cut-offs and automata in formal verification of infinite-state systems  |g Správné ISBN v publikaci není uvedeno  |o 20110330 
998 |a 002160201 
999 |c 59765  |d 59765 
952 |0 0  |1 0  |4 0  |6 004SMRČKAA  |7 0  |8 BOOK  |9 109267  |a UTBZL  |b UTBZL  |c 005  |d 2011-05-09  |o 004/SMRČKA,A.  |p 420010137727  |r 2019-08-26  |v 199.00  |w 2019-08-26  |x N: dar;  |y 01 

Similar Items