![]() |
by: Jiacun Wang · William TepfenhartHardcover details (United Kingdom). details (USA). details (Germany). details (Canada). ISBN: 978-0-367-22570-4 ISBN-10: 0-367-22570-0 Chapman and Hall/CRC · 8. July 2019 |
See also: | ||
2019 | Paperback | Formal Methods in Computer Science (Textbooks in Mathematics) |