Monin, Jean-Francois

[NT 60487] Overview

[NT 60478] Works:	1 [NT 60520] works in 1 [NT 60521] publications in 1 [NT 60522] languages

[NT 60480] Titles

Understanding formal methods [NT 59711] by: Hinchey, Michael G. ; Monin, Jean-Francois ([NT 1579] Language materials, printed) , [written and translated]

[NT 60479] Subjects

Formal methods (Computer science) 004.0151