Formal Methods in Computer Science
Publisher: Routledge; Chapman and Hall/CRC
Published: Jul 03, 2019
Format: paperback
Number of pages: 312
ISBN-13: 9781498775328
Notes: Source title: Formal Methods in Computer Science (Textbooks in Mathematics)