Formal Methods In Computer Science
Wang, Jiacun
Formal Methods In Computer Science - 1st - Boca Raton CRC Press 2020 - xvii,294p.
9781498775328 RS 6232.63
Computer Science
004.015 / WAN
Formal Methods In Computer Science - 1st - Boca Raton CRC Press 2020 - xvii,294p.
9781498775328 RS 6232.63
Computer Science
004.015 / WAN