DA-IICT Logo

Resource Centre

Understanding formal methods

Monin, Jean-Francois

Understanding formal methods - London: Springer, 2003 - ill.:

1852332476 pbk


Computer science
Logic design

004.0151 / MON