Formal Methods in Computer Science (Textbooks in Mathematics)
by Jiacun Wang, William Tepfenhart
ISBN 13: 9780367225704
Format: Hardcover (264 pages) Publisher: Chapman and Hall/CRC Published: 08 Jul 2019
Save for later
by Jiacun Wang
ISBN 13: 9781498775328
Format: Paperback (312 pages) Publisher: Routledge Published: 02 Jul 2019