zboží
(prázdné)
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
číst celé
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
schovat popis
- Nakladatel: MIT Press Ltd
- Kód:
- Rok vydání: 2019
- Jazyk: Angličtina
- Vazba: Vázaná
- Počet stran: 304
- Šířka balení: 23.6 cm
- Výška balení: 18.5 cm
- Hloubka balení: 2.4 cm
- Váha balení: 641 g
Recenze