Koszyk
towar
(pusty)
Kontakt
Konto
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
przeczytaj całość
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
ukryj opis
- Wydawnictwo: MIT Press Ltd
- Kod:
- Rok wydania: 2019
- Język: Angielski
- Oprawa: Twarda
- Liczba stron: 304
- Szerokość opakowania: 23.6 cm
- Wysokość opakowania: 18.5 cm
- Głębokość opakowania: 2.4 cm
- Waga: 641 g
Recenzja