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

Formal Methods in Computer Science

Jiacun Wang

€98,20
€98,20 €101,24 Väljamüük

Meil on laos

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

Autorius Jiacun Wang
Leidimo metai 2019 m.
Puslapių skč. 294 psl.
Viršelis Minkštas viršelis
ISBN 9781498775328

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

€98,20
€98,20 €101,24