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

Formal Methods in Computer Science

Jiacun Wang

€99,20
€99,20 €102,74 Väljamüük

Meil on laos

Toodet hetkel ei ole
Jätke oma e-posti aadress ja anname teada, kui toode on taas laos.
Autorius Jiacun Wang
Kalba Anglų k.
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

€99,20
€99,20 €102,74