Formal Methods in Computer Science (Textbooks in Mathematics)

Tepfenhart

by: Jiacun Wang · William Tepfenhart

Hardcover

ISBN: 978-0-367-22570-4

ISBN-10: 0-367-22570-0

Chapman and Hall/CRC · 8. July 2019

See also:
2019PaperbackFormal Methods in Computer Science (Textbooks in Mathematics)