Coș
articole
(gol)
Contact
Cont
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
citește totul
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
ascunde descrierea
- Editură: MIT Press Ltd
- Cod:
- Anul publicării: 2019
- Limba: Engleză
- Legarea: Legată
- Număr de pagini: 304
- Lățimea ambalajului: 23.6 cm
- Înălțimea ambalajului: 18.5 cm
- Adâncimea ambalajului: 2.4 cm
- Greutatea ambalajului: 641 g
Recenzii