Verification of Digital and Hybrid Systems (Nato ASI Subseries F: (170), Band 170)

Subseries

von M. Kemal Inan

Taschenbuch

ISBN-13: 978-3-642-64052-0

ISBN-10: 3-642-64052-4

Springer-Verlag · 2000

Siehe auch:
2000Gebundene AusgabeVerification of Digital and Hybrid Systems (Nato ASI Subseries F:)