Košík
tovar
(prázdne)
Kontakt
Účet
Invited Paper.- Theoretical Foundations.- Reasoning about Computations and Programs.- Applications and Tools.
prečítať celé
Invited Paper.- Theoretical Foundations.- Reasoning about Computations and Programs.- Applications and Tools.
Skryť popis
- Nakladateľ: Springer, Berlin
- Kód:
- Rok vydania: 2018
- Jazyk: Angličtina
- Väzba: Paperback / softback
- Šírka balenia: 15.5 cm
- Výška balenia: 23.5 cm
- Hĺbka balenia: 2.3 cm
- Váha balenia: 610 g
Recenzie