Narrow your search

Library

UGent (3)

KU Leuven (1)

UCLouvain (1)


Resource type

book (3)


Language

Undetermined (2)

English (1)


Year
From To Submit

1992 (1)

1990 (1)

1989 (1)

Listing 1 - 3 of 3
Sort by

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

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Higher order logic theorem proving and its applications
Authors: ---
Year: 1992 Publisher: Amsterdam : Elsevier,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

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, Houthalen, Belgium, 13-16 November, 1989
Authors: ---
ISBN: 044488372X 9780444883728 Year: 1990 Volume: 1 Publisher: Amsterdam: North-Holland,

Listing 1 - 3 of 3
Sort by