Košík
tovar
(prázdne)
Kontakt
Účet
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
prečítať celé
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
Skryť popis
- Nakladateľ: MIT Press Ltd
- Kód:
- Rok vydania: 2019
- Jazyk: Angličtina
- Väzba: Hardback
- Počet strán: 304
- Šírka balenia: 23.6 cm
- Výška balenia: 18.5 cm
- Hĺbka balenia: 2.4 cm
- Váha balenia: 641 g
Recenzie