Taxonomies for the development and verification of digital systems

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34221/Details
Ostali autori: Bailey, Brian (Editor), Martin, Grant
Vrsta građe: Knjiga
Jezik: eng
Impresum: Springer-Verlag, 2005.
Izdanje: 1. izd
LEADER 00852nam a2200217uu 4500
008 s2005 xxca |||||||||| ||eng|d
020 |a 0387240195 
035 |a HR-ZaFER 38657 
040 |a HR-ZaFER  |b hrv  |c HR-ZaFER 
041 |a eng 
080 |a 621.377  |h TEHNIKA ELEKTRIČNIH VALOVA, ELEKTROMAGNETSKIH VALOVA, OSCILACIJA, IMPULSA  |j UREĐAJI ZA KAŠNJENJE. UREĐAJI ZA SPREMANJE ELEKTRIČNIH INFORMACIJA (MEMORIJE)  |e 621.37  |9 1127 
080 |a 004.3  |h Računalna znanost i tehnologija  |j Računalni hardver  |e 004  |9 3034 
245 |a Taxonomies for the development and verification of digital systems. 
250 |a 1. izd. 
260 |b Springer-Verlag,  |c 2005. 
300 |a xvii, 179 str. :  |b graf. prikazi ;  |c 24 cm. 
700 |9 32777  |a Bailey, Brian  |4 edt 
700 |9 18175  |a Martin, Grant  |4 edt  |9 32779 
942 |b BKS  |c K 
990 |a 33846 
999 |c 34221  |d 34221