áru
(üres)
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
tovább
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
leírás elrejtése
- Kiadó: MIT Press Ltd
- Kód:
- Kiadás éve: 2019
- Nyelv: Angol
- Kötés: Kötött
- Oldalak száma: 304
- Csomag szélessége: 23.6 cm
- Csomag magassága: 18.5 cm
- Csomag mélysége: 2.4 cm
- Csomag súlya: 641 g
Recenzió