Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (18 papers)
Editors and Affiliations
Bibliographic Information
Book Title: Designing Correct Circuits
Book Subtitle: Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford
Editors: Geraint Jones, Mary Sheeran
Series Title: Workshops in Computing
DOI: https://doi.org/10.1007/978-1-4471-3544-9
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London 1991
Softcover ISBN: 978-3-540-19659-4Published: 30 April 1991
eBook ISBN: 978-1-4471-3544-9Published: 14 December 2013
Series ISSN: 1431-1682
Edition Number: 1
Number of Pages: VIII, 355
Number of Illustrations: 6 b/w illustrations
Additional Information: Jointly published with the British Computer Society
Topics: Artificial Intelligence, Processor Architectures, Mathematical Logic and Formal Languages