Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-3 of 3 results for author "Claesen, Luc J. M."
Computer hardware description languages and their applications : proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sonsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993 / edited by David Agnew, Luc Calaesen, Raul Camposano.
- Text
- Amsterdam ; London : North-Holland, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .I35 1993g Off-site Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design / sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributed in the U.S. and Canada, Elsevier Science Pub. Co., 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text TK7874 .I3283 1989a Off-site Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design / sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributed for the U.S. and Canada, Elsevier Science Pub. Co., 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text TK7874 .I3283 1989 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
