Formal Methods in Computer Science (Textbooks in Mathematics)

Textbooks

by Jiacun Wang

Paperback

ISBN: 978-1-4987-7532-8

ISBN-10: 1-4987-7532-2

Routledge · July 2019

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