Book serie: / Книги серии: Lecture Notes in Computer Science 2517 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 2517

book Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings

pdf

Author: Thomas F. Melham Robert B. Jones (auth.) Mark D. Aagaard John W. O’Leary (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0

book Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings

pdf

Author: Thomas F. Melham Robert B. Jones (auth.) Mark D. Aagaard John W. O’Leary (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0