Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science (1287), Band 1287)

Comparison

von Thomas Kropf

Gebunden

ISBN: 978-3-540-63475-1

ISBN-10: 3-540-63475-4

Springer Berlin Heidelberg · 2008