Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Science Institute Workshop, Cornell University Ithaca, New ... Mathematical Aspects - Workshop Proceedings

Verification

von: Miriam Leeser · Geoffrey Brown

Taschenbuch

ISBN-13: 978-3-540-97226-6

ISBN-10: 3-540-97226-9

Springer Berlin · 1990