Formal methods in computer-aided design: 4 th Interntional conference, FMCAD 2002 Portland, OR, USA,November 2002 proceedings /

Bibliografiset tiedot
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: Berlin: Springer, 2002.
Painos:1st ed.
Aiheet:
Compter-Aided design
LEADER 00640cam a2200181ua 4500
008 080520t2002||||||||||| 00 ||eng c
041 0 |a eng 
082 |a 620.004 202 85  |b FOR 
245 0 0 |a Formal methods in computer-aided design: 4 th Interntional conference, FMCAD 2002 Portland, OR, USA,November 2002 proceedings /  
250 |a 1st ed. 
260 |a Berlin:  |b Springer,  |c 2002. 
300 |a 398p.. 
362 1 |a 2002. 
365 |e pb 
650 0 |a Compter-Aided design 
942 |c BK 
999 |c 18323  |d 18323 
952 |0 0  |1 0  |4 0  |6 620_004000000000000_202_85_FO  |7 0  |9 19132  |a KUCL  |b KUCL  |d 2014-05-23  |l 0  |o 620.004 202 85 FO  |p 15016  |r 2014-05-23  |w 2014-05-23  |y BK 

Samankaltaisia teoksia