Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings


FMCAD 2000
Bok Engelsk 2000

Detaljer

Bibliotek som har denne