Essential Logic for Computer Science

Essential Logic for Computer Science

Autor
Editura
An publicare
2019
Nr. Pagini
304
ISBN
9780262039185
Categorii

Descriere

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.

Pe aceeași temă