Higher order logic and harware verification

Higher order logic and harware verification

Bibliographic Details
Main Author: Melham, T. (Author)
Format: Book
Language:English
Published: Cambridge Cambridge University Press c1993
Series:Cambridge Tracts in Theoretical Computer Science 31
Subjects:
HARWARE VERIFICATION
HIGHER ORDER LOGIC
HOL
ΕΠΕΑΕΚ

ΒΚΠ - Πατρα: ALFf

Holdings details from ΒΚΠ - Πατρα: ALFf
Call Number: 004.3 MEL
Copy 1 Available

Similar Items