Koszyk
towar
(pusty)
Kontakt
Konto
Analysis.- Program development.- Term rewriting and CHR.- Theory.- Verification.
przeczytaj całość
Analysis.- Program development.- Term rewriting and CHR.- Theory.- Verification.
ukryj opis
- Wydawnictwo: Springer, Berlin
- Kod:
- Rok wydania: 2018
- Język: Angielski
- Oprawa: Broszurowa/paperback
- Liczba stron: 400
- Szerokość opakowania: 15.5 cm
- Wysokość opakowania: 23.5 cm
- Głębokość opakowania: 1.9 cm
- Waga: 546 g
Recenzja