Przejdź do informacji o produkcie

Formal Methods in Computer Science

Jiacun Wang

Cena regularna 426,00 zł
Cena sprzedaży 426,00 zł Cena regularna 439,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
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

Cena regularna 426,00 zł
Cena sprzedaży 426,00 zł Cena regularna 439,00 zł