UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (7)

UGent (3)

KBR (2)

UCLouvain (2)

UHasselt (2)

ULB (2)

ULiège (2)

UMons (2)

UNamur (2)

Odisee (1)
More...

Resource type

book (19)

Language

English (17)

Undetermined (2)

Year

From To

2015 (1)

1993 (2)

1992 (7)

1990 (2)

1989 (7)

Listing 1 - 10 of 19 << page
of 2
>>
Sort by

Book

Applied formal methods for correct VLSI design
Author: Claesen, Luc
Year: 1989 Publisher: Leuven : IMEC,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Formal VLSI correctness verification
Author: Claesen, Luc
ISBN: 0444886885 Year: 1990 Publisher: Amsterdam North-Holland

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Integrated circuits --- Verification --- Very large scale integration --- Computer-aided design

Book

Applied formal methods for correct VLSI design
Author: Claesen, Luc
Year: 1989 Publisher: Leuven IMEC

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Applied formal methods for correct VLSI design
Author: Claesen, Luc J.M.
Year: 1989 Publisher: Amsterdam Elsevier science publishers

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Applied formal methods for correct VLSI design: proceedings of the IMEC-IFIP International Workshop on applied formal methods for correct VLSI design, Congress Center "Hengelhoef", Houthalen, Belgium 13-16 November 1989
Author: Claesen, Luc J.M.
Year: 1989 Publisher: Amsterdam Elsevier Science

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Computer hardware description languages and their applications
Authors: Agnew, David. --- Claesen, Luc
ISBN: 0444816410 Year: 1993 Publisher: Amsterdam North-Holland

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Higher order logic theorem proving and its applications
Authors: Gordon, Michael John Caldwell --- Claesen, Luc J. M.
Year: 1992 Publisher: Amsterdam : Elsevier,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Higher order logic theorem proving and its applications
Authors: Claesen, Luc J.M. --- Gordon, Michael J.C.
Year: 1992 Publisher: Leuven Interuniversity Micro-Electronics Center. IMEC

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Higher order logic theorem proving and its applications
Authors: Claesen, Luc J. M. --- Gordon, Michael J. C.
Year: 1992 Publisher: Leuven IMEC

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Applied formal methods for correct VLSI design : IMEC-IFIP international workshop : Houthalen, 13-16 November 1989 : proceedings
Authors: Claesen, Luc J.M. --- Interuniversity Micro-Electronic Center
Year: 1989 Publisher: Heverlee Interuniversity Micro-Electronic Center

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Elektronica --- Colloquia

Listing 1 - 10 of 19 << page
of 2
>>
Sort by