TY  - BOOK
AU  - E. Börger
TI  -  Specification And Validation Methods
SN  - 9780198538547
U1  - 004.015 
PY  - 1995///
CY  - , new york
PB  - Clarendon ; oxford university press, oxford
KW  -  computerarchitektur computers mathematical logic langages de programmation logiciels essais
N1  - index
N2  - Combining an advanced introduction with notes on the development of new methods, this monograph elaborates on a number of applications which span software and hardware design
ER  -