Koszyk
towar
(pusty)
Kontakt
Konto
Invited Paper.- Theoretical Foundations.- Reasoning about Computations and Programs.- Applications and Tools.
przeczytaj całość
Invited Paper.- Theoretical Foundations.- Reasoning about Computations and Programs.- Applications and Tools.
ukryj opis
- Wydawnictwo: Springer, Berlin
- Kod:
- Rok wydania: 2018
- Język: Angielski
- Oprawa: Broszurowa/paperback
- Szerokość opakowania: 15.5 cm
- Wysokość opakowania: 23.5 cm
- Głębokość opakowania: 2.3 cm
- Waga: 610 g
Recenzja