Practical Formal Methods for Hardware Design

Practical Formal Methods for Hardware Design edited by Carlos Delgado Kloos, Werner Damm.

Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which inv...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Delgado Kloos, Carlos (Editor), Damm, Werner (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
Edition:1st ed. 1997.
Series:Project 6128.FORMAT
Springer eBook Collection.
Subjects:
Architecture, Computer.
Computer engineering.
Microprogramming .
Input-output equipment (Computers).
Logic design.
Computer logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items