Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, Band 3965)

Communication

von: Marco Bernardo · Alessandro Cimatti

Taschenbuch

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

ISBN-10: 3-540-34304-0

Springer Berlin Heidelberg · 2010