Košara
roba
(prazno)
Kontakt
Račun
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
pročitati sve
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
sakriti opis
- Izdavač: MIT Press Ltd
- Kod:
- Godina izdavanja: 2019
- Jezik: Engleski jezik
- Uvez: Vezana
- Broj stranica: 304
- Širina pakiranja: 23.6 cm
- Visina pakiranja: 18.5 cm
- Dubina pakiranja: 2.4 cm
- Težina pakiranja: 641 g
Recenzije