Designing Correct Circuits: Proceedings of the Second Ifip Wg 10.2/Wg 10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January, 199 ... A, Computer Science and Technology, A-5)

Technology

by: Ifip Wg10.2/Wg10.5 Workshop on Designing Correct Circuits 1992 lyngby · Jorgen Staunstrup

Paperback

details (United States).

ISBN: 978-0-444-89335-2

ISBN-10: 0-444-89335-0

North-Holland · 1992