Introduction to Formal Hardware Verification

Introduction

von Thomas Kropf

Gebunden

ISBN-13: 978-3-540-65445-2

ISBN-10: 3-540-65445-3

Springer · 1999

S. auch:
2010TaschenbuchIntroduction to Formal Hardware Verification