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

Formal Methods in Computer Science

Jiacun Wang

922,00 zł
922,00 zł 951,00 zł Sprzedaż

Mamy to na stanie

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

Autorius Jiacun Wang
Ž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

922,00 zł
922,00 zł 951,00 zł