Pereiti prie produkto informacijos

Formal Methods in Computer Science

Jiacun Wang

Įprasta kaina €98,20
Pardavimo kaina €98,20 Įprasta kaina €101,24 Išpardavimas

Turime sandėlyje

📦 Š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

Įprasta kaina €98,20
Pardavimo kaina €98,20 Įprasta kaina €101,24