Overview
Part of the book series: Research Reports Esprit (ESPRIT)
Part of the book sub series: Project 6128.FORMAT (3477)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 chapters)
-
Introduction
-
Overview
-
Technical Background
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Practical Formal Methods for Hardware Design
Editors: Carlos Delgado Kloos, Werner Damm
Series Title: Research Reports Esprit
DOI: https://doi.org/10.1007/978-3-642-60641-0
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: ECSC-EC-EAEC, Brussels-Luxembourg 1997
Softcover ISBN: 978-3-540-62007-5Published: 28 May 1997
eBook ISBN: 978-3-642-60641-0Published: 06 December 2012
Edition Number: 1
Number of Pages: XIV, 293
Number of Illustrations: 40 b/w illustrations
Topics: Computer System Implementation, Computer Engineering, Control Structures and Microprogramming, Input/Output and Data Communications, Logic Design, Logics and Meanings of Programs
Industry Sectors: Electronics, IT & Software, Telecommunications