Automata Reasoning ***Replacement*** Disk
Diskette
details (
USA
).
ISBN: 978-0-12-763421-0
ISBN-10: 0-12-763421-5
Academic Press
ยท 1996