• Book cover of: Formal Methods in Computer Science. By: Jiacun Wang

Formal Methods in Computer Science

Jiacun Wang

€213,19
€213,19 €220,25 Izpārdošana

Mums ir noliktavā

Šobrīd preces nav
Atstājiet e-pasta adresi un paziņosim, tiklīdz prece atkal būs noliktavā.
Autorius Jiacun Wang
Kalba Anglų k.
Žanras System design
Leidimo metai 2019 m.
Puslapių skč. 294 psl.
Viršelis Kietas viršelis
ISBN 9780367225704

Formal Methods in Computer Science

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Book cover of: Formal Methods in Computer Science. By: Jiacun Wang

Formal Methods in Computer Science

€213,19
€213,19 €220,25